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));
 }