j off by one in error message

[helm.git] / helm / software / components / ng_kernel / nCicEnvironment.mli

diff --git a/helm/software/components/ng_kernel/nCicEnvironment.mli b/helm/software/components/ng_kernel/nCicEnvironment.mli
index 0984ea23f94e3a606121ced1ec669e2118517384..9c0a70fc0472055aeef969ed2611c9218dfa5c3f 100644 (file)
--- 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 *)