Merge branch 'declarative' into matita-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..603be63dacd9b572fb5a4ee5f31e5dda3f179067 100644 (file)
--- 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