From 84a61b54543d798015ce83df4d50e03ad1f1a67f Mon Sep 17 00:00:00 2001
From: Nuno Lopes <a-nlopes@microsoft.com>
Date: Thu, 25 Sep 2014 14:36:37 +0100
Subject: [PATCH] reenable datalog while loop priting

Signed-off-by: Nuno Lopes <a-nlopes@microsoft.com>
---
 src/muz/rel/dl_instruction.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/muz/rel/dl_instruction.cpp b/src/muz/rel/dl_instruction.cpp
index fc8ceadce..bf2f09d56 100644
--- a/src/muz/rel/dl_instruction.cpp
+++ b/src/muz/rel/dl_instruction.cpp
@@ -346,7 +346,7 @@ namespace datalog {
             print_container(m_controls, out);
         }
         virtual void display_body_impl(rel_context_base const & ctx, std::ostream & out, std::string indentation) const {
-            // m_body->display_indented(ctx, out, indentation+"    ");
+            m_body->display_indented(ctx, out, indentation+"    ");
         }
     };