X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fng_kernel%2FnCicSubstitution.ml;h=603be63dacd9b572fb5a4ee5f31e5dda3f179067;hb=3220eee6c3dd2968727c5c595d6ca78e89291b5f;hp=2e382f43417ba985ac8e13da8f812b90575bf1e4;hpb=cf8b1c25a0011ca2a8a856b39e046da33c451221;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