X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fcontent_pres%2FproceduralConversion.mli;h=d5ad4fd1c9634e7620bc4f8d9f53195792ceeeb4;hb=77d56df4d446307199a9d4e03478260c6c63baf8;hp=448112cdb03c30ba2bfc8478d37759a8eb6fd1f8;hpb=091977e506a414ad2c71ae113703d7fc607b85a2;p=helm.git

diff --git a/helm/software/components/content_pres/proceduralConversion.mli b/helm/software/components/content_pres/proceduralConversion.mli
index 448112cdb..d5ad4fd1c 100644
--- a/helm/software/components/content_pres/proceduralConversion.mli
+++ b/helm/software/components/content_pres/proceduralConversion.mli
@@ -24,3 +24,5 @@
  *)
 
 val need_whd: int -> Cic.annterm -> bool
+
+val lift: int -> int -> Cic.annterm -> Cic.annterm