X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fng_library%2FnCicLibrary.mli;h=3d9ab02cb2e4e0abae15abcb2538a40f8c8a2cac;hb=89ee9d4b8b261b8f7b16adde5d39599ce325d39d;hp=63589694ad4f3f51cdefc4b14bc2e6a6f3942f5f;hpb=4ac6edc22587ae3c19c36925dbf003c2e111fffa;p=helm.git

diff --git a/matita/components/ng_library/nCicLibrary.mli b/matita/components/ng_library/nCicLibrary.mli
index 63589694a..3d9ab02cb 100644
--- a/matita/components/ng_library/nCicLibrary.mli
+++ b/matita/components/ng_library/nCicLibrary.mli
@@ -35,6 +35,7 @@ val get_obj: #NCic.status -> NUri.uri -> NCic.obj (* changes the current timesta
 *)
 
 val time_travel: #status -> unit
+val replace: #status -> unit
 
 val init: unit -> unit
 
@@ -76,7 +77,7 @@ module type SerializerType =
   val dependencies_of: baseuri:NUri.uri -> string list
  end
 
-module Serializer(D: sig type dumpable_s val get: dumpable_s -> dumpable_status  val set: dumpable_s -> dumpable_status -> dumpable_s end) :
+module Serializer(D: sig type dumpable_s = private #dumpable_status end) :
   SerializerType with type dumpable_status = D.dumpable_s
 
 val refresh_uri: NUri.uri -> NUri.uri