cicDischarge: final fixup. Now correctly processes Coq/Init/Logic.mma :)

[helm.git] / helm / software / matita / contribs / procedural / Coq / depends

diff --git a/helm/software/matita/contribs/procedural/Coq/depends b/helm/software/matita/contribs/procedural/Coq/depends
index 93dcd84fec668b31f5cfb9bb65db225033941bba..4bca3ab2833a7744fffaf7380e0613653af831d9 100644 (file)
--- a/helm/software/matita/contribs/procedural/Coq/depends
+++ b/helm/software/matita/contribs/procedural/Coq/depends
@@ -222,7 +222,7 @@ Reals/SplitRmult.mma Coq.ma Reals/Rbase.ma
 Sets/Relations_2.ma Sets/Relations_2.mma
 Reals/RList.ma Reals/RList.mma
 Arith/Max.mma Arith/Arith.ma Coq.ma
-preamble.ma coq.ma
+preamble.ma 
 ZArith/Zorder.ma ZArith/Zorder.mma
 Sets/Image.ma Sets/Image.mma
 NArith/BinPos.ma NArith/BinPos.mma
@@ -392,4 +392,3 @@ Wellfounded/Wellfounded.mma Coq.ma Wellfounded/Disjoint_Union.ma Wellfounded/Inc
 ZArith/Zcomplements.mma Arith/Wf_nat.ma Coq.ma Lists/List.ma ZArith/ZArith_base.ma
 Logic/Classical_Pred_Type.ma Logic/Classical_Pred_Type.mma
 Reals/Rtrigo_alt.mma Coq.ma Reals/Rbase.ma Reals/Rfunctions.ma Reals/Rtrigo_def.ma Reals/SeqSeries.ma
-coq.ma