X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=matita%2Fcomponents%2Fng_paramodulation%2F.depend.opt;h=4e9e21a19dea6dad44753808a4f7d6af97339701;hb=90ee1e85245752414b93826aabe388409571187a;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