X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic%2FcicParser3.mli;h=b9b8b6d119ded2fc895c386937140cbe1bed75cb;hb=abd9e5cfa8e7b6923e0664a4813a0a842f5c4e76;hp=3c2f5d94ccf4348d3bc23331bfb8bd4f7e491fa1;hpb=bac72fcaa876137ab7a5630e0c1badc2a627dce8;p=helm.git

diff --git a/helm/ocaml/cic/cicParser3.mli b/helm/ocaml/cic/cicParser3.mli
index 3c2f5d94c..b9b8b6d11 100644
--- a/helm/ocaml/cic/cicParser3.mli
+++ b/helm/ocaml/cic/cicParser3.mli
@@ -61,3 +61,7 @@ class virtual cic_term :
 (* The definition of domspec, an hashtable that maps each node type to the *)
 (* 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
+