added the orrible hack to the parser that is needed to call CicUniv.fresh() properly

[helm.git] / helm / ocaml / cic / cicParser3.mli

diff --git a/helm/ocaml/cic/cicParser3.mli b/helm/ocaml/cic/cicParser3.mli
index 8fc0704d407eae9bcda01315cf97506151df610a..b9b8b6d119ded2fc895c386937140cbe1bed75cb 100644 (file)
--- a/helm/ocaml/cic/cicParser3.mli
+++ b/helm/ocaml/cic/cicParser3.mli
@@ -62,5 +62,6 @@ class virtual cic_term :
 (* object that must be linked to it. Used by markup.                       *)
 val domspec : cic_term Pxp_document.spec
 
+(** orrible hack *)
 val set_uri: UriManager.uri -> unit