fixed an extra comma appearing in asp translation of soft rules.

samidhtalsania · Dec 8, 2016 · 46686a4 · 46686a4
1 parent 1350d95
commit 46686a4
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 2 deletions.
diff --git a/src/src/MVSMParserGrammar.cpp b/src/src/MVSMParserGrammar.cpp
@@ -1454,7 +1454,6 @@ static void yy_reduce(
 					<< "@0"
 					<<","
 					<< tree->weak_constraint_counter
-					<< ","
 					<< uniqueSetStr
 					<< "]"
 					<<"\n";

diff --git a/src/src/MVSMParserGrammar.y b/src/src/MVSMParserGrammar.y
@@ -620,7 +620,6 @@ rule(R) ::= number(N) head(H) REVERSE_IMPLICATION body(B). {
 					<< "@0"
 					<<","
 					<< tree->weak_constraint_counter
-					<< ","
 					<< uniqueSetStr
 					<< "]"
 					<<"\n";
-Original file line number
+Diff line change
@@ Expand Up / @@ -1454,7 +1454,6 @@ static void yy_reduce( @@
     					<< "@0"
     					<<","
     					<< tree->weak_constraint_counter
-    					<< ","
     					<< uniqueSetStr
     					<< "]"
     					<<"\n";
@@ Expand Down @@