prima implementazione di demodulate, superposition_left e superposition_right

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

diff --git a/helm/ocaml/cic/cicParser3.mli b/helm/ocaml/cic/cicParser3.mli
index 3c2f5d94ccf4348d3bc23331bfb8bd4f7e491fa1..b9b8b6d119ded2fc895c386937140cbe1bed75cb 100644 (file)
--- 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
+