X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_disambiguation%2Fdisambiguate.mli;h=5de2e5759eaa6c2a68ce3da74b746e2e7241db7a;hb=33a02e0b639217093eb63f30169aaa6ac8c78907;hp=10b1c7633dfede3a24ebe3b8d8f51496f334e712;hpb=35c68efd0a44da26d4aa6ae760ee03712b33dfed;p=helm.git

diff --git a/helm/ocaml/cic_disambiguation/disambiguate.mli b/helm/ocaml/cic_disambiguation/disambiguate.mli
index 10b1c7633..5de2e5759 100644
--- 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
-