Most warnings turned into errors and avoided

[helm.git] / matita / components / ng_paramodulation / .depend.opt

diff --git a/matita/components/ng_paramodulation/.depend.opt b/matita/components/ng_paramodulation/.depend.opt
index 6e58a4ca97e3980902a3a626518ab1b8284b8b2c..9593d8958d5a5c3006d2a1ae22910ad20895acb8 100644 (file)
--- a/matita/components/ng_paramodulation/.depend.opt
+++ b/matita/components/ng_paramodulation/.depend.opt
@@ -4,7 +4,7 @@ foUnif.cmx : terms.cmx orderings.cmx foUtils.cmx foSubst.cmx foUnif.cmi
 foUnif.cmi : terms.cmi orderings.cmi
 foUtils.cmx : terms.cmx orderings.cmx foSubst.cmx foUtils.cmi
 foUtils.cmi : terms.cmi orderings.cmi
-index.cmx : terms.cmx pp.cmx orderings.cmx foUtils.cmx foUnif.cmx index.cmi
+index.cmx : terms.cmx orderings.cmx foUtils.cmx index.cmi
 index.cmi : terms.cmi orderings.cmi
 nCicBlob.cmx : terms.cmx foUtils.cmx nCicBlob.cmi
 nCicBlob.cmi : terms.cmi
@@ -13,10 +13,10 @@ nCicParamod.cmx : terms.cmx pp.cmx paramod.cmx orderings.cmx nCicProof.cmx \
 nCicParamod.cmi : terms.cmi
 nCicProof.cmx : terms.cmx pp.cmx nCicBlob.cmx foSubst.cmx nCicProof.cmi
 nCicProof.cmi : terms.cmi
-orderings.cmx : terms.cmx pp.cmx foSubst.cmx orderings.cmi
+orderings.cmx : terms.cmx foSubst.cmx orderings.cmi
 orderings.cmi : terms.cmi
 paramod.cmx : terms.cmx superposition.cmx pp.cmx orderings.cmx index.cmx \
-    foUtils.cmx foUnif.cmx paramod.cmi
+    foUtils.cmx paramod.cmi
 paramod.cmi : terms.cmi orderings.cmi
 pp.cmx : terms.cmx pp.cmi
 pp.cmi : terms.cmi