From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Tue, 27 Nov 2007 16:23:21 +0000 (+0000)
Subject: remove debug fake data
X-Git-Tag: make_still_working~5761
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=ac94d350073aed443070bea5577b5888ed2dc2db;p=helm.git

remove debug fake data
---

diff --git a/helm/software/matita/bench_disamberrors b/helm/software/matita/bench_disamberrors
index 8a5f0718f..ae1b592d0 100755
--- a/helm/software/matita/bench_disamberrors
+++ b/helm/software/matita/bench_disamberrors
@@ -40,7 +40,6 @@ log_outcome ()
   echo -e "$1\t$2\t$3\t$4\t$5" >> "$log"
 }
 
-sorted_ma_s="datatypes/compare.ma logic/connectives.ma higher_order_defs/relations.ma"
 for ma in $sorted_ma_s ; do
   mo=`echo $ma | sed 's/\.ma$/.mo/'`
   make -C $libdir $mo # ensure deps for $mo have been built