moved dummy_floc from Disambiguate to DisambiguateTypes, since it is now needed by...

[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 1a8dc4ac08bf02e00cc901799f967087d2519160..df598a3f713f20ded29e8c8ed8dd80f7dd18ba17 100644 (file)
--- a/helm/ocaml/cic_disambiguation/disambiguateTypes.mli
+++ b/helm/ocaml/cic_disambiguation/disambiguateTypes.mli
@@ -96,3 +96,5 @@ type script = CicNotationPt.location * script_entry list
 
 val empty_environment: environment
 
+val dummy_floc: Lexing.position * Lexing.position
+