depenences fixup

diff --git a/matita/components/ng_paramodulation/.depend b/matita/components/ng_paramodulation/.depend
index f6eae06d6b5d6c68a181dfeb4545812e1d953e11..4e9e21a19dea6dad44753808a4f7d6af97339701 100644 (file)
--- a/matita/components/ng_paramodulation/.depend
+++ b/matita/components/ng_paramodulation/.depend
@@ -10,7 +10,7 @@ stats.cmi: terms.cmi orderings.cmi
 paramod.cmi: terms.cmi orderings.cmi
 nCicBlob.cmi: terms.cmi
 nCicProof.cmi: terms.cmi
-nCicParamod.cmi:
+nCicParamod.cmi: terms.cmi
 terms.cmo: terms.cmi
 terms.cmx: terms.cmi
 pp.cmo: terms.cmi pp.cmi

diff --git a/matita/components/ng_paramodulation/.depend.opt b/matita/components/ng_paramodulation/.depend.opt
index f6eae06d6b5d6c68a181dfeb4545812e1d953e11..4e9e21a19dea6dad44753808a4f7d6af97339701 100644 (file)
--- a/matita/components/ng_paramodulation/.depend.opt
+++ b/matita/components/ng_paramodulation/.depend.opt
@@ -10,7 +10,7 @@ stats.cmi: terms.cmi orderings.cmi
 paramod.cmi: terms.cmi orderings.cmi
 nCicBlob.cmi: terms.cmi
 nCicProof.cmi: terms.cmi
-nCicParamod.cmi:
+nCicParamod.cmi: terms.cmi
 terms.cmo: terms.cmi
 terms.cmx: terms.cmi
 pp.cmo: terms.cmi pp.cmi