X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fbench_disamberrors;h=ae1b592d0e8d491315182ca02701467b06a3b865;hb=ac94d350073aed443070bea5577b5888ed2dc2db;hp=8a5f0718fc70c79c6694fb7c06efeb0810cc6b1e;hpb=4258d7d1339b8965612cfcc3d1f8e43a84aa541c;p=helm.git

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