Huge reorganization of matita and ocaml.

[helm.git] / helm / ocaml / cic_disambiguation / disambiguateTypes.mli

diff --git a/helm/ocaml/cic_disambiguation/disambiguateTypes.mli b/helm/ocaml/cic_disambiguation/disambiguateTypes.mli
index 48ae7880d803b0bf1e4973be83d870a29d5347b6..4f4b3c3ecdb49d2d9acde5b8573dde45f968c214 100644 (file)
--- 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
-