Fix duplicate output of id in format()

tautschnig · tautschnig · commit 7e09d5fc2c0a · 2018-05-07T15:22:14.000+01:00
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())`