X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fcomponents%2Flexicon%2FdisambiguatePp.mli;h=e85a284437cd385b11747f31ba8611da3c7193ee;hb=1d212933a86f2820a151555516f7a53ab1c9f8e7;hp=e8d9b94a46eb8be8e802b984056d87085775350e;hpb=92c4af96b3c1e4918bdc10b7cbdb3a37038de074;p=helm.git

diff --git a/helm/software/components/lexicon/disambiguatePp.mli b/helm/software/components/lexicon/disambiguatePp.mli
index e8d9b94a4..e85a28443 100644
--- a/helm/software/components/lexicon/disambiguatePp.mli
+++ b/helm/software/components/lexicon/disambiguatePp.mli
@@ -24,7 +24,8 @@
  *)
 
 val aliases_of_domain_and_codomain_items_list:
-  (DisambiguateTypes.domain_item * DisambiguateTypes.codomain_item) list ->
+  (DisambiguateTypes.domain_item * 
+   Cic.term DisambiguateTypes.codomain_item) list ->
     LexiconAst.alias_spec list
 
-val pp_environment: DisambiguateTypes.environment -> string
+val pp_environment: Cic.term DisambiguateTypes.environment -> string