X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fng_paramodulation%2F.depend;h=4e9e21a19dea6dad44753808a4f7d6af97339701;hb=cbd81dcc1ca77e8bbd0ca5262ffbb1a09d2a5508;hp=f6eae06d6b5d6c68a181dfeb4545812e1d953e11;hpb=b5a168bec5e813258c510a1f2a00ce9f57ecee5a;p=helm.git

diff --git a/matita/components/ng_paramodulation/.depend b/matita/components/ng_paramodulation/.depend
index f6eae06d6..4e9e21a19 100644
--- 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