On-going porting to lablgtk3

[helm.git] / matita / components / ng_kernel / nCicSubstitution.ml

diff --git a/matita/components/ng_kernel/nCicSubstitution.ml b/matita/components/ng_kernel/nCicSubstitution.ml
index 0ca566cc3df4f30d44c53df1c8be3fa03b235eb2..2e382f43417ba985ac8e13da8f812b90575bf1e4 100644 (file)
--- 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)