X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_unification%2FcicMetaSubst.mli;h=14d6da3f6de183460f47bc909d223f0cdb917817;hb=741b3e9014f940fbbd34bee7b606ff7e72170452;hp=46a50a63a522eed8c96860e33c8ab4e970c8d912;hpb=7ec7262cfa317c1962164350361f82a56c5d1826;p=helm.git

diff --git a/helm/ocaml/cic_unification/cicMetaSubst.mli b/helm/ocaml/cic_unification/cicMetaSubst.mli
index 46a50a63a..14d6da3f6 100644
--- 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
+*)