$ g++ --version
g++ (Debian 6.3.0-18+deb9u1) 6.3.0 20170516
Copyright (C) 2016 Free Software Foundation, Inc.
This is free software; see the source for copying conditions. There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
src/solvers$ make
g++ -c -DSATCHECK_MINISAT2 -DHAVE_MINISAT2 -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -MMD -MP -std=c++11 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wno-deprecated-declarations -Wswitch-enum -I .. -I ../../minisat-2.2.1 -o smt2/smt2_parser.o smt2/smt2_parser.cpp
smt2/smt2_parser.cpp: In member function ‘exprt smt2_parsert::bv_division(const operandst&, bool)’:
smt2/smt2_parser.cpp:908:57: error: call of overloaded ‘let_exprt(<brace-enclosed initializer list>, <brace-enclosed initializer list>, if_exprt)’ is ambiguous
if_exprt(divisor_is_zero, all_ones, division_result));
^
In file included from smt2/smt2_parser.h:16:0,
from smt2/smt2_parser.cpp:9:
../util/std_expr.h:2899:3: note: candidate: let_exprt::let_exprt(symbol_exprt, exprt, const exprt&)
let_exprt(symbol_exprt symbol, exprt value, const exprt &where)
^~~~~~~~~
../util/std_expr.h:2881:3: note: candidate: let_exprt::let_exprt(binding_exprt::variablest, exprt::operandst, const exprt&)
let_exprt(
^~~~~~~~~
../common:222: recipe for target 'smt2/smt2_parser.o' failed
make: *** [smt2/smt2_parser.o] Error 1
