X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_kernel%2FnCicEnvironment.mli;h=9c0a70fc0472055aeef969ed2611c9218dfa5c3f;hb=58ce236b589513e779e00759e54e72cbbf2bd2c3;hp=70a230ddf383eed8401fc3e2cb57d615d05b5d30;hpb=637f6a77c970679ae9da4468e50bf5a3a6bf2853;p=helm.git

diff --git a/helm/software/components/ng_kernel/nCicEnvironment.mli b/helm/software/components/ng_kernel/nCicEnvironment.mli
index 70a230ddf..9c0a70fc0 100644
--- a/helm/software/components/ng_kernel/nCicEnvironment.mli
+++ b/helm/software/components/ng_kernel/nCicEnvironment.mli
@@ -49,4 +49,6 @@ val get_checked_cofix:
 
 val get_indty_leftno: NReference.reference -> int
 
+val invalidate: unit -> unit
+
 (* EOF *)