minimal changes:

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

diff --git a/helm/ocaml/cic/cicParser3.ml b/helm/ocaml/cic/cicParser3.ml
index 04bbb9029d8b5f8a5b67ba5ae204f29d0891c65a..02d22b3216b0bf631f2be796689f627a775534be 100644 (file)
--- a/helm/ocaml/cic/cicParser3.ml
+++ b/helm/ocaml/cic/cicParser3.ml
@@ -41,13 +41,6 @@
 
 exception IllFormedXml of int;;
 
-(* The list of tokens of the current section path. *)
-(* Used to resolve relative URIs                   *)
-let current_sp = ref [];;
-
-(* The uri of the object been parsed *)
-let current_uri = ref (UriManager.uri_of_string "cic:/.xml");;
-
 (* Utility functions to map a markup attribute to something useful *)
 
 let cic_attr_of_xml_attr =