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) {}