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

diff --git a/helm/ocaml/cic/cicParser3.mli b/helm/ocaml/cic/cicParser3.mli
index ada1b2e81..990346e82 100644
--- a/helm/ocaml/cic/cicParser3.mli
+++ b/helm/ocaml/cic/cicParser3.mli
@@ -41,10 +41,8 @@
 
 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 :