commeted out some debugging instructions

[helm.git] / helm / ocaml / cic_unification / cicMetaSubst.mli

diff --git a/helm/ocaml/cic_unification/cicMetaSubst.mli b/helm/ocaml/cic_unification/cicMetaSubst.mli
index 46a50a63a522eed8c96860e33c8ab4e970c8d912..14d6da3f6de183460f47bc909d223f0cdb917817 100644 (file)
--- a/helm/ocaml/cic_unification/cicMetaSubst.mli
+++ b/helm/ocaml/cic_unification/cicMetaSubst.mli
@@ -86,7 +86,9 @@ val fppsubst: Format.formatter -> substitution -> unit
 val fppterm: Format.formatter -> Cic.term -> unit
 val fppmetasenv: Format.formatter -> Cic.metasenv -> unit
 
+(*
 (* DEBUG *)
 val print_counters: unit -> unit
 val reset_counters: unit -> unit
+*)