X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_kernel%2FnCicEnvironment.mli;h=9c0a70fc0472055aeef969ed2611c9218dfa5c3f;hb=810bbac9ad50436ada9f2f5a9b069b3f59e079ab;hp=0984ea23f94e3a606121ced1ec669e2118517384;hpb=76ab642ba92a6775d6421698f3caaf2e40cebcd3;p=helm.git

diff --git a/helm/software/components/ng_kernel/nCicEnvironment.mli b/helm/software/components/ng_kernel/nCicEnvironment.mli
index 0984ea23f..9c0a70fc0 100644
--- a/helm/software/components/ng_kernel/nCicEnvironment.mli
+++ b/helm/software/components/ng_kernel/nCicEnvironment.mli
@@ -28,6 +28,7 @@
 
 val get_checked_obj: NUri.uri -> NCic.obj
 val get_obj: NUri.uri -> bool * NCic.obj
+val add_obj: NCic.obj -> unit
 
 val get_checked_def:
   NReference.reference -> 
@@ -48,4 +49,6 @@ val get_checked_cofix:
 
 val get_indty_leftno: NReference.reference -> int
 
+val invalidate: unit -> unit
+
 (* EOF *)