Most warnings turned into errors and avoided

[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 2e382f43417ba985ac8e13da8f812b90575bf1e4..603be63dacd9b572fb5a4ee5f31e5dda3f179067 100644 (file)
--- a/matita/components/ng_kernel/nCicSubstitution.ml
+++ b/matita/components/ng_kernel/nCicSubstitution.ml
@@ -12,7 +12,6 @@
 (* $Id$ *)
 
 module C = NCic 
-module Ref = NReference
 
 let lift_from status ?(no_implicit=true) k n =
  let rec liftaux k = function