matitaGui: some missing cases during disambiguation now treated

[helm.git] / components / content_pres / proceduralConversion.mli

diff --git a/components/content_pres/proceduralConversion.mli b/components/content_pres/proceduralConversion.mli
index 448112cdb03c30ba2bfc8478d37759a8eb6fd1f8..d5ad4fd1c9634e7620bc4f8d9f53195792ceeeb4 100644 (file)
--- a/components/content_pres/proceduralConversion.mli
+++ b/components/content_pres/proceduralConversion.mli
@@ -24,3 +24,5 @@
  *)
 
 val need_whd: int -> Cic.annterm -> bool
+
+val lift: int -> int -> Cic.annterm -> Cic.annterm