X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_disambiguation%2FdisambiguateTypes.ml;h=18c78a2e8e9485b6f481b1ef3875d8c4c92bd097;hb=3bec70852905f57198cd5b659dc72d430c1c5d2c;hp=d01f82ee9e25f24a5656dfdb1696c8c9b8332fb9;hpb=978a25d9392e5fc1a19fa37c86339c5d0b67ddd6;p=helm.git

diff --git a/helm/ocaml/cic_disambiguation/disambiguateTypes.ml b/helm/ocaml/cic_disambiguation/disambiguateTypes.ml
index d01f82ee9..18c78a2e8 100644
--- a/helm/ocaml/cic_disambiguation/disambiguateTypes.ml
+++ b/helm/ocaml/cic_disambiguation/disambiguateTypes.ml
@@ -76,3 +76,4 @@ let string_of_domain dom =
   Buffer.contents buf
 *)
 
+let empty_environment = Environment.empty