From f96cfeae9e2564347f0ac72e6b5a8ae351cd21fe Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 9 Jul 2016 13:28:39 -0700 Subject: [PATCH] fix build failures under linux Signed-off-by: Nikolaj Bjorner --- src/interp/iz3base.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/interp/iz3base.cpp b/src/interp/iz3base.cpp index c530ca0f6..d0f8c3a75 100755 --- a/src/interp/iz3base.cpp +++ b/src/interp/iz3base.cpp @@ -267,7 +267,7 @@ bool iz3base::is_sat(const std::vector &q, ast &_proof, std::vector &v p.set_bool("model", true); p.set_bool("unsat_core", true); scoped_ptr sf = mk_smt_solver_factory(); - scoped_ptr<::solver> solver = (*sf)(m(), p, true, true, true, ::symbol::null); + scoped_ptr< ::solver > solver = (*sf)(m(), p, true, true, true, ::symbol::null); ::solver &s = *solver.get(); for(unsigned i = 0; i < q.size(); i++)