X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fng_library%2FnCicLibrary.mli;h=ee1ed3ece6996c74b936aeb0d6595f2dc9c44b7d;hb=3443885ee60fbcb90e2d106e67d3b7f7e3c59bad;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..ee1ed3ece 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