diff --git a/src/muz_qe/pdr_context.cpp b/src/muz_qe/pdr_context.cpp
index 13c2c0f6d..d3c87985b 100644
--- a/src/muz_qe/pdr_context.cpp
+++ b/src/muz_qe/pdr_context.cpp
@@ -383,7 +383,8 @@ namespace pdr {
             fi->set_else(result);
             md->register_decl(m_head, fi);
         }
-        apply(ctx.get_model_converter(), md, 0);
+        model_converter_ref mc = ctx.get_model_converter();
+        apply(mc, md, 0);
         if (p_orig->get_arity() == 0) {
             result = md->get_const_interp(p_orig);
         }