Much ado about nothing:

[helm.git] / helm / software / components / acic_procedural / proceduralConversion.mli

diff --git a/helm/software/components/acic_procedural/proceduralConversion.mli b/helm/software/components/acic_procedural/proceduralConversion.mli
index d5ad4fd1c9634e7620bc4f8d9f53195792ceeeb4..5cbb75da26efc3d86b70fd5142f1e37c1adc6f29 100644 (file)
--- a/helm/software/components/acic_procedural/proceduralConversion.mli
+++ b/helm/software/components/acic_procedural/proceduralConversion.mli
@@ -23,6 +23,6 @@
  * http://cs.unibo.it/helm/.
  *)
 
-val need_whd: int -> Cic.annterm -> bool
-
 val lift: int -> int -> Cic.annterm -> Cic.annterm
+
+val mk_pattern: int -> Cic.annterm -> Cic.annterm