From 3e8d3db290f252be03e9cb30b719005b6c7e2a16 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Tue, 13 Nov 2012 09:26:01 -0800
Subject: [PATCH] fixed gcc compilation error

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 src/muz_qe/pdr_context.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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