From 7e09d5fc2c0a25ed64d193943a73b8bedef4031e Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Mon, 7 May 2018 13:48:24 +0000
Subject: [PATCH] Fix duplicate output of id in format()

---
 src/util/format_expr.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/util/format_expr.cpp b/src/util/format_expr.cpp
index b552e538f45..0c455b58f5a 100644
--- 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())