Now MQueryGenerator generates the query and MQueryLevels produces the restrictions...

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

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