X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fng_kernel%2FnCicSubstitution.ml;h=603be63dacd9b572fb5a4ee5f31e5dda3f179067;hb=bf2d6f1329c768da48bfeba7b6937566328566b0;hp=0ca566cc3df4f30d44c53df1c8be3fa03b235eb2;hpb=894d518aa760c9f816ddb0dc2b3fa88e1fe20a94;p=helm.git

diff --git a/matita/components/ng_kernel/nCicSubstitution.ml b/matita/components/ng_kernel/nCicSubstitution.ml
index 0ca566cc3..603be63da 100644
--- a/matita/components/ng_kernel/nCicSubstitution.ml
+++ b/matita/components/ng_kernel/nCicSubstitution.ml
@@ -12,9 +12,6 @@
 (* $Id$ *)
 
 module C = NCic 
-module Ref = NReference
-
-let debug_print = fun _ -> ();;
 
 let lift_from status ?(no_implicit=true) k n =
  let rec liftaux k = function