From c82b8174d8d1894c3b0f412234aab2fb63368b20 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Sun, 2 Dec 2012 12:08:58 -0800 Subject: [PATCH] fixed win compilation bug Signed-off-by: Leonardo de Moura --- src/muz_qe/pdr_interpolant_provider.cpp | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/muz_qe/pdr_interpolant_provider.cpp b/src/muz_qe/pdr_interpolant_provider.cpp index de1c62d79..7c9afd74a 100644 --- a/src/muz_qe/pdr_interpolant_provider.cpp +++ b/src/muz_qe/pdr_interpolant_provider.cpp @@ -306,8 +306,7 @@ lbool interpolant_provider_impl::get_interpolant(expr * f1, expr * f2, expr_ref& return l_undef; } - smt_params dummy_params; - cmd_context cctx(&dummy_params, false, &m); + cmd_context cctx(false, &m); for_each_expr(used_symbol_inserter(cctx), f1); parse_smt2_commands(cctx, std::istringstream(res_text), false);