Added universes handling. The PRE_UNIVERSES tag may help ;)

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

diff --git a/helm/ocaml/cic_disambiguation/disambiguateTypes.mli b/helm/ocaml/cic_disambiguation/disambiguateTypes.mli
index db9829e03d1a0fc6c23734b6257d54d93e1e7755..e88aa51bf3ef19b779e7e10c038b54b9cc0e1c54 100644 (file)
--- a/helm/ocaml/cic_disambiguation/disambiguateTypes.mli
+++ b/helm/ocaml/cic_disambiguation/disambiguateTypes.mli
@@ -64,3 +64,4 @@ type term = CicAst.term
 type tactic = (term, string) TacticAst.tactic
 type tactical = (term, string) TacticAst.tactical
 
+val empty_environment: environment