X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fng_kernel%2FnCicSubstitution.ml;h=2e382f43417ba985ac8e13da8f812b90575bf1e4;hb=a823c605d3a541c8d7df2bcc3c21bf459c9d25c4;hp=0ca566cc3df4f30d44c53df1c8be3fa03b235eb2;hpb=45f2accd093c8d10eb692266f4c3c0c59cb22d8b;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)