3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-08 18:31:49 +00:00

Backward compatibility

This commit is contained in:
Christoph M. Wintersteiger 2017-10-16 18:19:55 +01:00
parent 019edcb822
commit 01f642a6f3

View file

@ -98,7 +98,7 @@ template<typename fmanager>
static void tst_float_sine(std::ostream & out, unsigned N, unsigned k) {
reslimit rl;
fmanager fm;
interval_manager<im_float_config<fmanager> > im(rl, { fm, EBITS, SBITS });
interval_manager<im_float_config<fmanager> > im(rl, im_float_config<fmanager>(fm, EBITS, SBITS));
_scoped_numeral<fmanager> a(fm);
fm.set(a, EBITS, SBITS, static_cast<int>(0));
tst_float_sine_core(out, fm, im, a, 1);