From ffa495736243cacd3d3e57af8e609864973285f9 Mon Sep 17 00:00:00 2001
From: Arie Gurfinkel <arie.gurfinkel@uwaterloo.ca>
Date: Mon, 31 Jul 2017 15:39:16 -0400
Subject: [PATCH] do not use array_der when simplifying rules

---
 src/muz/base/dl_rule.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/muz/base/dl_rule.cpp b/src/muz/base/dl_rule.cpp
index af48d0f8b..26a5b748e 100644
--- a/src/muz/base/dl_rule.cpp
+++ b/src/muz/base/dl_rule.cpp
@@ -54,7 +54,7 @@ namespace datalog {
           m_head(m),
           m_args(m),
           m_hnf(m),
-          m_qe(m, params_ref()),
+          m_qe(m, params_ref(), false),
           m_rwr(m),
           m_ufproc(m) {}