X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fng_kernel%2FnCicSubstitution.ml;h=603be63dacd9b572fb5a4ee5f31e5dda3f179067;hb=74c6905907b0bca229366d52450e2a6982b5b8be;hp=2e382f43417ba985ac8e13da8f812b90575bf1e4;hpb=f34f2623a3133e235331d0c0c1830ec213dd09f1;p=helm.git

diff --git a/matita/components/ng_kernel/nCicSubstitution.ml b/matita/components/ng_kernel/nCicSubstitution.ml
index 2e382f434..603be63da 100644
--- 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