Commits

Leonardo de Moura committed 92eb2ec

missing update

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>

Comments (0)

Files changed (1)

src/muz_qe/pdr_interpolant_provider.cpp

     }
 
     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);