1. bug fixed: in the last commit on NCicLibrary we forgot that

[helm.git] / matita / components / ng_library / nCicLibrary.mli

diff --git a/matita/components/ng_library/nCicLibrary.mli b/matita/components/ng_library/nCicLibrary.mli
index 14a0685b4a6a74633a13e8abc7cb093e89fc8887..c65ee1df1d8b8a831347aedd9558b7b4e85eea9f 100644 (file)
--- a/matita/components/ng_library/nCicLibrary.mli
+++ b/matita/components/ng_library/nCicLibrary.mli
@@ -50,7 +50,7 @@ class dumpable_status :
   method set_dumpable_status: #g_dumpable_status -> 'self
  end
 
-val get_already_included: #dumpable_status -> NUri.uri list
+val get_transitively_included: #dumpable_status -> NUri.uri list
 val dump_obj: #dumpable_status as 'status -> obj -> 'status
 
 module type SerializerType =