X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_disambiguation%2FdisambiguateTypes.mli;h=4f4b3c3ecdb49d2d9acde5b8573dde45f968c214;hb=ab72cb44a09c93e1d540f7ac9bc7eae2f4d09f2f;hp=48ae7880d803b0bf1e4973be83d870a29d5347b6;hpb=9a0e4f3be9f70662f18d2d3b6dd60ae79fba565b;p=helm.git

diff --git a/helm/ocaml/cic_disambiguation/disambiguateTypes.mli b/helm/ocaml/cic_disambiguation/disambiguateTypes.mli
index 48ae7880d..4f4b3c3ec 100644
--- a/helm/ocaml/cic_disambiguation/disambiguateTypes.mli
+++ b/helm/ocaml/cic_disambiguation/disambiguateTypes.mli
@@ -94,6 +94,3 @@ type script_entry =
   | Comment of CicNotationPt.location * string
 type script = CicNotationPt.location * script_entry list
 *)
-
-val dummy_floc: Lexing.position * Lexing.position
-