X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fcic%2FcicParser.mli;h=d874293a16ee5b0c5e53000fedc4cbc34ab541b8;hb=6e2d3b0cabf805137a08f969840da05f8aba0adb;hp=9472b4c54606bd35a67c71c0b9766d73e8dd1fa1;hpb=55b82bd235d82ff7f0a40d980effe1efde1f5073;p=helm.git

diff --git a/helm/software/components/cic/cicParser.mli b/helm/software/components/cic/cicParser.mli
index 9472b4c54..d874293a1 100644
--- a/helm/software/components/cic/cicParser.mli
+++ b/helm/software/components/cic/cicParser.mli
@@ -44,3 +44,4 @@ val annobj_of_xml: UriManager.uri -> string -> string option -> Cic.annobj
    * Both files are assumed to be gzipped. *)
 val obj_of_xml : UriManager.uri -> string -> string option -> Cic.obj
 
+val impredicative_set : bool ref