X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_transformations%2FcicAst.mli;h=7815a17654e757d1df3bd505345b4d587bc7b1dd;hb=249d79bebff886846fbab65cc079623d90684baf;hp=89f8907fa32fe45648996bffc44146697a147a11;hpb=aeec9dd128be72caf5a39bac3a0ef34b564ecd8b;p=helm.git

diff --git a/helm/ocaml/cic_transformations/cicAst.mli b/helm/ocaml/cic_transformations/cicAst.mli
index 89f8907fa..7815a1765 100644
--- a/helm/ocaml/cic_transformations/cicAst.mli
+++ b/helm/ocaml/cic_transformations/cicAst.mli
@@ -77,6 +77,7 @@ and meta_subst = term option
 and subst = string * term
 and case_pattern = string * capture_variable list
 
+(*
 val pack: term list -> term
 val unpack: term -> term list
-
+*)