From 92eb2ec8026833afe2c7e38e2ddc43b47c9d6a13 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Wed, 31 Oct 2012 11:02:14 -0700 Subject: [PATCH] missing update Signed-off-by: Leonardo de Moura --- src/muz_qe/pdr_interpolant_provider.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/muz_qe/pdr_interpolant_provider.cpp b/src/muz_qe/pdr_interpolant_provider.cpp index a243ed899..85655c737 100644 --- a/src/muz_qe/pdr_interpolant_provider.cpp +++ b/src/muz_qe/pdr_interpolant_provider.cpp @@ -307,7 +307,7 @@ lbool interpolant_provider_impl::get_interpolant(expr * f1, expr * f2, expr_ref& } front_end_params dummy_params; - cmd_context cctx(dummy_params, false, &m); + cmd_context cctx(&dummy_params, false, &m); for_each_expr(used_symbol_inserter(cctx), f1); parse_smt2_commands(cctx, std::istringstream(res_text), false);