From f58e8e961dfd09181407d7be90c8498678c04859 Mon Sep 17 00:00:00 2001
From: Nuno Lopes <t-nclaud@microsoft.com>
Date: Tue, 23 Apr 2013 14:59:19 -0700
Subject: [PATCH] fix the build

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

diff --git a/src/muz_qe/dl_mk_filter_rules.cpp b/src/muz_qe/dl_mk_filter_rules.cpp
index 8ab8412c0..932a644ab 100644
--- a/src/muz_qe/dl_mk_filter_rules.cpp
+++ b/src/muz_qe/dl_mk_filter_rules.cpp
@@ -152,9 +152,6 @@ namespace datalog {
     }
 
     rule_set * mk_filter_rules::operator()(rule_set const & source) {
-        if (!m_context.get_params().filter_rules()) {
-            return 0;
-        }
         m_tail2filter.reset();
         m_result           = alloc(rule_set, m_context);
         m_modified         = false;