X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fng_library%2FnCicLibrary.mli;h=14090cdcb9614d0b65ff01fd676d37c24bba87dc;hb=926bd86002f91d2bf2a3ce7376309f5106268959;hp=165b70ce19156e6d55c0f62030be3b7e0f2ea9bf;hpb=66be8fbe19e2ccfa0e6a7abeba605152d1322595;p=helm.git

diff --git a/matita/components/ng_library/nCicLibrary.mli b/matita/components/ng_library/nCicLibrary.mli
index 165b70ce1..14090cdcb 100644
--- a/matita/components/ng_library/nCicLibrary.mli
+++ b/matita/components/ng_library/nCicLibrary.mli
@@ -25,9 +25,9 @@ class virtual status :
  end
 
 (* it also checks it and add it to the environment *)
-val add_obj: #status as 'status -> NCic.obj -> 'status
+val add_obj: (#status as 'status) -> NCic.obj -> 'status
 val add_constraint: 
-  #status as 'status -> acyclic:bool ->
+  (#status as 'status) -> acyclic:bool ->
   NCic.universe -> NCic.universe -> 'status
 val aliases_of: NUri.uri -> NReference.reference list
 val resolve: string -> NReference.reference list
@@ -57,7 +57,7 @@ class dumpable_status :
  end
 
 val get_transitively_included: #dumpable_status -> NUri.uri list
-val dump_obj: #dumpable_status as 'status -> obj -> 'status
+val dump_obj: (#dumpable_status as 'status) -> obj -> 'status
 
 module type SerializerType =
  sig