From ca31c979fe2fb13ac5bf25dbd072b729d35de5cb Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 11 Jun 2015 12:00:21 -0700
Subject: [PATCH] re-enable transformations

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/muz/rel/rel_context.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/muz/rel/rel_context.cpp b/src/muz/rel/rel_context.cpp
index 44f59486e..d2a2f0181 100644
--- a/src/muz/rel/rel_context.cpp
+++ b/src/muz/rel/rel_context.cpp
@@ -290,6 +290,8 @@ namespace datalog {
         return res;
     }
 
+#define _MIN_DONE_ 1
+
     void rel_context::transform_rules() {
         rule_transformer transf(m_context);
 #ifdef _MIN_DONE_