From c4f24127fe0e4620b6aac4a0c60ad30a106c8ab4 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Thu, 17 May 2012 20:11:06 +0000 Subject: [PATCH] depenences fixup --- matita/components/ng_paramodulation/.depend | 2 +- matita/components/ng_paramodulation/.depend.opt | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) 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 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 -- 2.39.2