Dead code for packing/unpacking (usually just a big hack) commented out

[helm.git] / helm / ocaml / cic_transformations / cicAst.mli

diff --git a/helm/ocaml/cic_transformations/cicAst.mli b/helm/ocaml/cic_transformations/cicAst.mli
index 89f8907fa32fe45648996bffc44146697a147a11..7815a17654e757d1df3bd505345b4d587bc7b1dd 100644 (file)
--- 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
-
+*)