From f40df22ccc6d66895bca326ec5056d67809c48a0 Mon Sep 17 00:00:00 2001
From: Nuno Lopes <t-nclaud@microsoft.com>
Date: Tue, 30 Apr 2013 10:29:41 -0700
Subject: [PATCH] enable COI transformation in datalog mode

Signed-off-by: Nuno Lopes <t-nclaud@microsoft.com>
---
 src/muz_qe/dl_context.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/muz_qe/dl_context.cpp b/src/muz_qe/dl_context.cpp
index 0099b16f9..dfcaac791 100644
--- a/src/muz_qe/dl_context.cpp
+++ b/src/muz_qe/dl_context.cpp
@@ -814,6 +814,7 @@ namespace datalog {
 
     void context::transform_rules() {
         m_transf.reset();
+        m_transf.register_plugin(alloc(mk_coi_filter, *this));
         m_transf.register_plugin(alloc(mk_filter_rules, *this));        
         m_transf.register_plugin(alloc(mk_simple_joins, *this));
         if (unbound_compressor()) {