X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic%2FcicParser3.ml;h=02d22b3216b0bf631f2be796689f627a775534be;hb=dfa2ac7a7c291b58e445d005438ea7f535d466bf;hp=04bbb9029d8b5f8a5b67ba5ae204f29d0891c65a;hpb=08a2b1a3f1a1e9af07850089f0e0838eb052223d;p=helm.git

diff --git a/helm/ocaml/cic/cicParser3.ml b/helm/ocaml/cic/cicParser3.ml
index 04bbb9029..02d22b321 100644
--- 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 =