X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fng_kernel%2FnCicUtils.ml;h=398df307ed7202cadf92ecc843dd3d7b89a165ef;hb=a823c605d3a541c8d7df2bcc3c21bf459c9d25c4;hp=f22e02a7eaa1da016bc202e3afa4793578eec86a;hpb=45f2accd093c8d10eb692266f4c3c0c59cb22d8b;p=helm.git

diff --git a/matita/components/ng_kernel/nCicUtils.ml b/matita/components/ng_kernel/nCicUtils.ml
index f22e02a7e..398df307e 100644
--- a/matita/components/ng_kernel/nCicUtils.ml
+++ b/matita/components/ng_kernel/nCicUtils.ml
@@ -12,7 +12,6 @@
 (* $Id$ *)
 
 module C = NCic
-module Ref = NReference
 
 exception Subst_not_found of int
 exception Meta_not_found of int