From 6ab167f0c78e2e953340cb41b70dffd4980db98f Mon Sep 17 00:00:00 2001
From: Nuno Lopes <a-nlopes@microsoft.com>
Date: Sun, 25 Jan 2015 18:31:04 +0000
Subject: [PATCH] fix debug build

Signed-off-by: Nuno Lopes <a-nlopes@microsoft.com>
---
 src/muz/rel/dl_compiler.cpp    | 2 +-
 src/muz/rel/dl_instruction.cpp | 2 +-
 src/muz/rel/rel_context.cpp    | 2 +-
 src/shell/datalog_frontend.cpp | 4 ++--
 4 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/src/muz/rel/dl_compiler.cpp b/src/muz/rel/dl_compiler.cpp
index 648c91e4a..d3d0501e7 100644
--- a/src/muz/rel/dl_compiler.cpp
+++ b/src/muz/rel/dl_compiler.cpp
@@ -1355,7 +1355,7 @@ namespace datalog {
 
         acc.set_observer(0);
 
-        TRACE("dl", execution_code.display(*m_context.get_rel_context(), tout););
+        TRACE("dl", execution_code.display(execution_context(m_context), tout););
     }
 
 
diff --git a/src/muz/rel/dl_instruction.cpp b/src/muz/rel/dl_instruction.cpp
index ea25dfc59..7eb8d4375 100644
--- a/src/muz/rel/dl_instruction.cpp
+++ b/src/muz/rel/dl_instruction.cpp
@@ -1148,7 +1148,7 @@ namespace datalog {
 
             TRACE("dl",      
                 tout <<"% ";
-                  instr->display_head_impl(ctx.get_rel_context(), tout);
+                  instr->display_head_impl(ctx, tout);
                 tout <<"\n";);
             success = !ctx.should_terminate() && instr->perform(ctx);
         }
diff --git a/src/muz/rel/rel_context.cpp b/src/muz/rel/rel_context.cpp
index 37d5a22f3..4fd9a8fe9 100644
--- a/src/muz/rel/rel_context.cpp
+++ b/src/muz/rel/rel_context.cpp
@@ -172,7 +172,7 @@ namespace datalog {
 
             compiler::compile(m_context, m_context.get_rules(), m_code, termination_code);
 
-            TRACE("dl", m_code.display(*this, tout); );
+            TRACE("dl", m_code.display(m_ectx, tout); );
 
             bool timeout_after_this_round = time_limit && (restart_time==0 || remaining_time_limit<=restart_time);
 
diff --git a/src/shell/datalog_frontend.cpp b/src/shell/datalog_frontend.cpp
index affe299d8..e802112b2 100644
--- a/src/shell/datalog_frontend.cpp
+++ b/src/shell/datalog_frontend.cpp
@@ -190,7 +190,7 @@ unsigned read_datalog(char const * file) {
             
             datalog::compiler::compile(ctx, ctx.get_rules(), rules_code, termination_code);
             
-            TRACE("dl_compiler", rules_code.display(*ctx.get_rel_context(), tout););
+            TRACE("dl_compiler", rules_code.display(ex_ctx, tout););
             
             rules_code.make_annotations(ex_ctx);
             
@@ -230,7 +230,7 @@ unsigned read_datalog(char const * file) {
         
 
         TRACE("dl_compiler", ctx.display(tout);
-              rules_code.display(*ctx.get_rel_context(), tout););
+              rules_code.display(ex_ctx, tout););
         
         if (ctx.output_tuples()) {
             ctx.get_rel_context()->display_output_facts(ctx.get_rules(), std::cout);