dump spurious errors max

diff --git a/helm/software/matita/bench_summary.py b/helm/software/matita/bench_summary.py
index 080972ec559b7251b60ff814f306d01779c5580f..cbf877bfe4b3d56ebea8a3db685d5217c318ea90 100755 (executable)
--- a/helm/software/matita/bench_summary.py
+++ b/helm/software/matita/bench_summary.py
@@ -71,5 +71,7 @@ print format_stat('total')
 print r'\\'
 print r'%-15s & %6.1f & \\' % ('spurious avg',
         float(stats['spurious']['tot']) / len(stats['precise']))
+print r'%-15s & %6d & \\' % ('spurious max',
+        float(stats['spurious']['max']))
 print r'\hline'