X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=matita%2Fcomponents%2Fng_kernel%2F.depend.opt;h=b5f0bb9300546adce80b35beb51ae2b9bc87a72d;hb=76a993b80bb33d1075f84c55637ca1897644b16a;hp=af21515ba5cd84ac4d790fe1e74571ed4446e077;hpb=a484a2c1e0c022753aefae6a74fbce9fe4cf7983;p=helm.git

diff --git a/matita/components/ng_kernel/.depend.opt b/matita/components/ng_kernel/.depend.opt
index af21515ba..b5f0bb930 100644
--- a/matita/components/ng_kernel/.depend.opt
+++ b/matita/components/ng_kernel/.depend.opt
@@ -7,7 +7,7 @@ nCicReduction.cmi: nCic.cmx
 nCicTypeChecker.cmi: nUri.cmi nReference.cmi nCic.cmx
 nCicUntrusted.cmi: nCic.cmx
 nCicPp.cmi: nReference.cmi nCic.cmx
-nCicExtraction.cmi: nCic.cmx
+nCicExtraction.cmi: nReference.cmi nCic.cmx
 nCic.cmo: nUri.cmi nReference.cmi
 nCic.cmx: nUri.cmx nReference.cmx
 nUri.cmo: nUri.cmi
@@ -41,8 +41,8 @@ nCicPp.cmo: nUri.cmi nReference.cmi nCicSubstitution.cmi nCicReduction.cmi \
 nCicPp.cmx: nUri.cmx nReference.cmx nCicSubstitution.cmx nCicReduction.cmx \
     nCicEnvironment.cmx nCic.cmx nCicPp.cmi
 nCicExtraction.cmo: nUri.cmi nReference.cmi nCicUntrusted.cmi \
-    nCicTypeChecker.cmi nCicReduction.cmi nCicPp.cmi nCicEnvironment.cmi \
-    nCic.cmx nCicExtraction.cmi
+    nCicTypeChecker.cmi nCicSubstitution.cmi nCicReduction.cmi nCicPp.cmi \
+    nCicEnvironment.cmi nCic.cmx nCicExtraction.cmi
 nCicExtraction.cmx: nUri.cmx nReference.cmx nCicUntrusted.cmx \
-    nCicTypeChecker.cmx nCicReduction.cmx nCicPp.cmx nCicEnvironment.cmx \
-    nCic.cmx nCicExtraction.cmi
+    nCicTypeChecker.cmx nCicSubstitution.cmx nCicReduction.cmx nCicPp.cmx \
+    nCicEnvironment.cmx nCic.cmx nCicExtraction.cmi