X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fng_kernel%2F.depend.opt;h=97f4e283a4931b06831fb2f0a127550417b2f0b2;hb=e3369ffc8b690703cfafc7985f69db5fc140d749;hp=fe2e99a30a19e52306717451f3e19f28c3269e36;hpb=df0dc72bccac82b3dd69108b5996d7008d007601;p=helm.git

diff --git a/matita/components/ng_kernel/.depend.opt b/matita/components/ng_kernel/.depend.opt
index fe2e99a30..97f4e283a 100644
--- a/matita/components/ng_kernel/.depend.opt
+++ b/matita/components/ng_kernel/.depend.opt
@@ -7,8 +7,7 @@ nCicPp.cmi : nReference.cmi nCic.cmx
 nCicReduction.cmx : nReference.cmx nCicUtils.cmx nCicSubstitution.cmx \
     nCicEnvironment.cmx nCic.cmx nCicReduction.cmi
 nCicReduction.cmi : nCic.cmx
-nCicSubstitution.cmx : nReference.cmx nCicUtils.cmx nCic.cmx \
-    nCicSubstitution.cmi
+nCicSubstitution.cmx : nCicUtils.cmx nCic.cmx nCicSubstitution.cmi
 nCicSubstitution.cmi : nCic.cmx
 nCicTypeChecker.cmx : nUri.cmx nReference.cmx nCicUtils.cmx \
     nCicSubstitution.cmx nCicReduction.cmx nCicEnvironment.cmx nCic.cmx \
@@ -17,7 +16,7 @@ nCicTypeChecker.cmi : nUri.cmi nReference.cmi nCic.cmx
 nCicUntrusted.cmx : nReference.cmx nCicUtils.cmx nCicSubstitution.cmx \
     nCicReduction.cmx nCicEnvironment.cmx nCic.cmx nCicUntrusted.cmi
 nCicUntrusted.cmi : nCic.cmx
-nCicUtils.cmx : nReference.cmx nCic.cmx nCicUtils.cmi
+nCicUtils.cmx : nCic.cmx nCicUtils.cmi
 nCicUtils.cmi : nCic.cmx
 nReference.cmx : nUri.cmx nReference.cmi
 nReference.cmi : nUri.cmi