From 11aa025805b7ce7b37fe5b14f0d6134bc1a61345 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Tue, 2 Oct 2012 12:22:07 -0700
Subject: [PATCH] Fixed gcc compilation error

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 lib/dl_bmc_engine.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/dl_bmc_engine.cpp b/lib/dl_bmc_engine.cpp
index f0f91583a..974a4550d 100644
--- a/lib/dl_bmc_engine.cpp
+++ b/lib/dl_bmc_engine.cpp
@@ -512,7 +512,7 @@ namespace datalog {
                     conjs.push_back(tmp);
                 }
                 bool_rewriter(m).mk_and(conjs.size(), conjs.c_ptr(), rule_body);
-                expr* rule_pred = m.mk_app(rule_pred_i, trace_arg, path_var.get());
+                expr* rule_pred = m.mk_app(rule_pred_i, trace_arg.get(), path_var.get());
                 ptr_vector<sort> q_sorts;
                 vector<symbol> names;
                 for (unsigned i = 0; i < vars.size(); ++i) {