From 3a2de48c535af75543df1157a0b4c95bef8360e4 Mon Sep 17 00:00:00 2001
From: martin <martin@michael>
Date: Thu, 29 Jul 2021 15:44:23 +0100
Subject: [PATCH] Resolve an ambiguous resolution of an overloaded function in
 G++ 6

Full details reported as:
https://github.com/diffblue/cbmc/issues/6258
---
 src/solvers/smt2/smt2_parser.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/solvers/smt2/smt2_parser.cpp b/src/solvers/smt2/smt2_parser.cpp
index 73a5c3f1c68..d607b4e635c 100644
--- a/src/solvers/smt2/smt2_parser.cpp
+++ b/src/solvers/smt2/smt2_parser.cpp
@@ -904,7 +904,7 @@ exprt smt2_parsert::bv_division(
 
   return let_exprt(
     {divisor},
-    {operands[1]},
+    operands[1],
     if_exprt(divisor_is_zero, all_ones, division_result));
 }