X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fcomponents%2Fng_kernel%2FnCicEnvironment.mli;h=70a230ddf383eed8401fc3e2cb57d615d05b5d30;hb=0bfad3f438ba29135f2c18d1bf3cb0c8f462a205;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..70a230ddf 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 ->