Merge pull request #2162 from tautschnig/fix-format

Daniel Kroening · web-flow · commit 77119332789c · 2018-05-07T18:50:53.000+01:00
Fix duplicate output of id in format()
diff --git a/src/util/format_expr.cpp b/src/util/format_expr.cpp
@@ -209,7 +209,7 @@ std::ostream &format_rec(
 
     if(expr.has_operands())
     {
-      os << id << '(';
+      os << '(';
       bool first = true;
 
       for(const auto &op : expr.operands())

Original file line number	Diff line number	Diff line change
`@@ -209,7 +209,7 @@ std::ostream &format_rec(`
`209`	`209`
`210`	`210`	`if(expr.has_operands())`
`211`	`211`	`{`
`212`		`- os << id << '(';`
	`212`	`+ os << '(';`
`213`	`213`	`bool first = true;`
`214`	`214`
`215`	`215`	`for(const auto &op : expr.operands())`