answermetrics parse fix for X1,X2 format

TeamCohen · Feb 5, 2015 · b79266a · b79266a
1 parent 661a179
commit b79266a
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/scripts/answermetrics.py b/scripts/answermetrics.py
@@ -7,8 +7,8 @@
 #################### parsing input files 
 
 def answerWithIntVars(query): 
- """Convert from format p(foo,Y-1,Z-2) to p(foo,-1,-2).""" 
- return re.sub(r"[_A-Z]\w*\-","-",query)
+ """Convert from format p(foo,X1,X2) to p(foo,-1,-2).""" 
+ return re.sub(r"[_A-Z]\w*([0-9]+)",r"-\1",query)
 
 def queryWithIntVars(query):
  """Convert from format p(foo,Y,Z) to p(foo,-1,-2)."""