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

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

diff --git a/helm/ocaml/cic_disambiguation/disambiguate.mli b/helm/ocaml/cic_disambiguation/disambiguate.mli
index 10b1c7633dfede3a24ebe3b8d8f51496f334e712..5de2e5759eaa6c2a68ce3da74b746e2e7241db7a 100644 (file)
--- a/helm/ocaml/cic_disambiguation/disambiguate.mli
+++ b/helm/ocaml/cic_disambiguation/disambiguate.mli
@@ -90,5 +90,3 @@ sig
      CicUniv.universe_graph) list   (* disambiguated term *)
 end
 
-val dummy_floc: Lexing.position * Lexing.position
-