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

[helm.git] / helm / ocaml / cic / cicUtil.ml

diff --git a/helm/ocaml/cic/cicUtil.ml b/helm/ocaml/cic/cicUtil.ml
index e686b6b35accbf4d4626b8d0fc9617ed356edbd4..a0b03527878f3754325c852f74f1170f78077fd8 100644 (file)
--- a/helm/ocaml/cic/cicUtil.ml
+++ b/helm/ocaml/cic/cicUtil.ml
@@ -250,6 +250,7 @@ let context_of ?(equality=(==)) ~term terms =
   in
   aux term
 
+(*
 let pack terms =
   List.fold_right
     (fun term acc -> Cic.Prod (Cic.Anonymous, term, acc))
@@ -259,6 +260,7 @@ let rec unpack = function
   | Cic.Prod (Cic.Anonymous, term, Cic.Sort (Cic.Type _)) -> [term]
   | Cic.Prod (Cic.Anonymous, term, tgt) -> term :: unpack tgt
   | _ -> assert false
+*)
 
 let rec strip_prods n = function
   | t when n = 0 -> t