X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_disambiguation%2Fdisambiguate.mli;h=5de2e5759eaa6c2a68ce3da74b746e2e7241db7a;hb=205b08e72f245d4ba210127cf58b1e4b96d5f93a;hp=10b1c7633dfede3a24ebe3b8d8f51496f334e712;hpb=acd8ad809af863ee2a1b584959d8fca3eac722fa;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
-