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

diff --git a/helm/ocaml/cic/cicParser3.mli b/helm/ocaml/cic/cicParser3.mli
index 990346e82..3c2f5d94c 100644
--- a/helm/ocaml/cic/cicParser3.mli
+++ b/helm/ocaml/cic/cicParser3.mli
@@ -41,9 +41,6 @@
 
 exception IllFormedXml of int
 
-val current_sp : string list ref
-val current_uri : UriManager.uri ref
-
 (* the "interface" of the class linked to each node of the dom tree *)
 class virtual cic_term :
   object ('a)
@@ -56,7 +53,8 @@ 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