X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fng_kernel%2FnCicSubstitution.ml;h=2e382f43417ba985ac8e13da8f812b90575bf1e4;hb=f34f2623a3133e235331d0c0c1830ec213dd09f1;hp=0ca566cc3df4f30d44c53df1c8be3fa03b235eb2;hpb=7e6fea0332e132a8cb89c689ba68c5e884c4354c;p=helm.git

diff --git a/matita/components/ng_kernel/nCicSubstitution.ml b/matita/components/ng_kernel/nCicSubstitution.ml
index 0ca566cc3..2e382f434 100644
--- a/matita/components/ng_kernel/nCicSubstitution.ml
+++ b/matita/components/ng_kernel/nCicSubstitution.ml
@@ -14,8 +14,6 @@
 module C = NCic 
 module Ref = NReference
 
-let debug_print = fun _ -> ();;
-
 let lift_from status ?(no_implicit=true) k n =
  let rec liftaux k = function
     | C.Rel m as t -> if m < k then t else C.Rel (m + n)