remove debug fake data

[helm.git] / helm / software / matita / bench_disamberrors

diff --git a/helm/software/matita/bench_disamberrors b/helm/software/matita/bench_disamberrors
index 8a5f0718fc70c79c6694fb7c06efeb0810cc6b1e..ae1b592d0e8d491315182ca02701467b06a3b865 100755 (executable)
--- 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