X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_disambiguation%2FdisambiguateTypes.mli;h=df598a3f713f20ded29e8c8ed8dd80f7dd18ba17;hb=205b08e72f245d4ba210127cf58b1e4b96d5f93a;hp=1a8dc4ac08bf02e00cc901799f967087d2519160;hpb=acd8ad809af863ee2a1b584959d8fca3eac722fa;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
+