small change to profile script

lijunsong · lijunsong · commit cdaf7dea171d · 2013-11-27T19:02:42.000-05:00
diff --git a/base/run_profile.py b/base/run_profile.py
@@ -202,8 +202,8 @@ def __init__(self, testFiles):
 
 
 def _set_title(self):
- self.title234 = 'Comparison of the number of AST nodes'
- self.title567 = 'Comparison of interpretation time'
+ self.title234 = 'Compare the number of AST nodes'
+ self.title567 = 'Compare the interpretation time'
 
 title = ['Test Files', 'Previous', 'Current', 'Change',
 'Previous',

-Original file line number
+Diff line change
 def_set_title(self):
 -self.title234='Comparison of the number of AST nodes'
 -self.title567='Comparison of interpretation time'
 +self.title234='Compare the number of AST nodes'
 +self.title567='Compare the interpretation time'
 title= ['Test Files', 'Previous', 'Current', 'Change',
 'Previous',