Added universes handling. The PRE_UNIVERSES tag may help ;)

[helm.git] / helm / ocaml / cic_disambiguation / disambiguateTypes.ml

diff --git a/helm/ocaml/cic_disambiguation/disambiguateTypes.ml b/helm/ocaml/cic_disambiguation/disambiguateTypes.ml
index d01f82ee9e25f24a5656dfdb1696c8c9b8332fb9..18c78a2e8e9485b6f481b1ef3875d8c4c92bd097 100644 (file)
--- 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