X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_disambiguation%2FdisambiguateTypes.mli;h=df598a3f713f20ded29e8c8ed8dd80f7dd18ba17;hb=86eaff4471bdce9f632838d3a0b18d082015c2db;hp=1a8dc4ac08bf02e00cc901799f967087d2519160;hpb=35c68efd0a44da26d4aa6ae760ee03712b33dfed;p=helm.git

diff --git a/helm/ocaml/cic_disambiguation/disambiguateTypes.mli b/helm/ocaml/cic_disambiguation/disambiguateTypes.mli
index 1a8dc4ac0..df598a3f7 100644
--- 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
+