From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Sun, 16 Dec 2007 14:19:01 +0000 (+0000)
Subject: Bug fixed: \n prevented recognition.
X-Git-Tag: make_still_working~5707
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=a8c1b61774a70376074fa31fdde84f53eb9bc00a;p=helm.git

Bug fixed: \n prevented recognition.
---

diff --git a/helm/software/matita/bench_summary.py b/helm/software/matita/bench_summary.py
index cbf877bfe..64f3ad39d 100755
--- a/helm/software/matita/bench_summary.py
+++ b/helm/software/matita/bench_summary.py
@@ -11,6 +11,7 @@ stats['mistakes'] = []
 stats['undetected'] = []
 
 for line in open(sys.argv[1]):
+    line = line.rstrip()
     if line[0] == '#':
         continue
     cols = line.split('|')
@@ -69,7 +70,7 @@ print format_stat('undetected')
 print r'\hline'
 print format_stat('total')
 print r'\\'
-print r'%-15s & %6.1f & \\' % ('spurious avg',
+print r'%-15s & %6.1f & \\' % ('spurious average',
         float(stats['spurious']['tot']) / len(stats['precise']))
 print r'%-15s & %6d & \\' % ('spurious max',
         float(stats['spurious']['max']))