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

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