Code extraction branched.

[helm.git] / matita / components / ng_kernel / .depend

diff --git a/matita/components/ng_kernel/.depend b/matita/components/ng_kernel/.depend
index 16f0d02cce32e0673a5ebae845e6a94b88f9d1a2..5273e5eb8180d0992bc8e4ae8f614920acfa8d48 100644 (file)
--- a/matita/components/ng_kernel/.depend
+++ b/matita/components/ng_kernel/.depend
@@ -7,6 +7,7 @@ nCicReduction.cmi: nCic.cmo
 nCicTypeChecker.cmi: nUri.cmi nReference.cmi nCic.cmo
 nCicUntrusted.cmi: nCic.cmo
 nCicPp.cmi: nReference.cmi nCic.cmo
+nCicExtraction.cmi: nCic.cmo
 nCic.cmo: nUri.cmi nReference.cmi
 nCic.cmx: nUri.cmx nReference.cmx
 nUri.cmo: nUri.cmi
@@ -39,3 +40,9 @@ nCicPp.cmo: nUri.cmi nReference.cmi nCicSubstitution.cmi nCicReduction.cmi \
     nCicEnvironment.cmi nCic.cmo nCicPp.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 nCicSubstitution.cmi nCicReduction.cmi nCicPp.cmi \
+    nCicEnvironment.cmi nCic.cmo nCicExtraction.cmi
+nCicExtraction.cmx: nUri.cmx nReference.cmx nCicUntrusted.cmx \
+    nCicTypeChecker.cmx nCicSubstitution.cmx nCicReduction.cmx nCicPp.cmx \
+    nCicEnvironment.cmx nCic.cmx nCicExtraction.cmi