X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic%2FcicParser3.mli;h=b9b8b6d119ded2fc895c386937140cbe1bed75cb;hb=349a0e23813a7f33853e1f8fe48230276ac22934;hp=8fc0704d407eae9bcda01315cf97506151df610a;hpb=03d2302343e8e1b282c1b2afec8db7913413d9d1;p=helm.git

diff --git a/helm/ocaml/cic/cicParser3.mli b/helm/ocaml/cic/cicParser3.mli
index 8fc0704d4..b9b8b6d11 100644
--- 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