Merge pull request #6259 from martin-cs/fix/gcc-6-series

martin-cs · web-flow · commit 932d41da736c · 2021-07-29T17:37:40.000+01:00
Resolve an ambiguous resolution of an overloaded function in G++ 6
diff --git 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));
 }
 

Original file line number	Diff line number	Diff line change
`@@ -904,7 +904,7 @@ exprt smt2_parsert::bv_division(`
`904`	`904`
`905`	`905`	`return let_exprt(`
`906`	`906`	`{divisor},`
`907`		`- {operands[1]},`
	`907`	`+ operands[1],`
`908`	`908`	`if_exprt(divisor_is_zero, all_ones, division_result));`
`909`	`909`	`}`
`910`	`910`