Merge pull request #2162 from tautschnig/fix-format

Fix duplicate output of id in format()
diffblue · May 7, 2018 · 7711933 · 7711933
2 parents 7d91638 + 7e09d5f
commit 7711933
Showing 1 changed file with 1 addition and 1 deletion.
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())