better abstraction to allow 1 discrimination tree implementation for both the

[helm.git] / helm / software / components / cic / cicParser.mli

diff --git a/helm/software/components/cic/cicParser.mli b/helm/software/components/cic/cicParser.mli
index 9472b4c54606bd35a67c71c0b9766d73e8dd1fa1..d874293a16ee5b0c5e53000fedc4cbc34ab541b8 100644 (file)
--- 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