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

diff --git a/helm/ocaml/cic/cicParser3.mli b/helm/ocaml/cic/cicParser3.mli
index ada1b2e81..b9b8b6d11 100644
--- a/helm/ocaml/cic/cicParser3.mli
+++ b/helm/ocaml/cic/cicParser3.mli
@@ -41,11 +41,6 @@
 
 exception IllFormedXml of int
 
-val ids_to_targets : (Cic.id, Cic.anntarget) Hashtbl.t option ref
-val current_sp : string list ref
-val current_uri : UriManager.uri ref
-val process_annotations : bool ref
-
 (* the "interface" of the class linked to each node of the dom tree *)
 class virtual cic_term :
   object ('a)
@@ -58,10 +53,15 @@ class virtual cic_term :
 
     (* a method that returns the internal representation of the tree (term) *)
     (* rooted in this node                                                  *)
-    method virtual to_cic_term : Cic.annterm
+    method virtual to_cic_term :
+     (UriManager.uri * Cic.annterm) list -> Cic.annterm
 
   end
 
 (* 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
+