From 6ffaadd49899888696cb818505837bec298d6d69 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Thu, 11 Oct 2012 00:42:24 -0700 Subject: [PATCH] Fixed gcc compilation bug, add exec flag Signed-off-by: Leonardo de Moura --- lib/dl_bmc_engine.cpp | 2 +- test_capi/build.sh | 0 2 files changed, 1 insertion(+), 1 deletion(-) mode change 100644 => 100755 test_capi/build.sh diff --git a/lib/dl_bmc_engine.cpp b/lib/dl_bmc_engine.cpp index d65cae822..21e0f0728 100644 --- a/lib/dl_bmc_engine.cpp +++ b/lib/dl_bmc_engine.cpp @@ -641,7 +641,7 @@ namespace datalog { expr_ref trace(m), path(m); trace = m.mk_const(symbol("trace"), trace_sort); path = m.mk_const(symbol("path"),m_path_sort); - assert_expr(m.mk_app(q, trace, path)); + assert_expr(m.mk_app(q, trace.get(), path.get())); lbool is_sat = m_solver.check(); if (is_sat == l_undef) { model_ref md; diff --git a/test_capi/build.sh b/test_capi/build.sh old mode 100644 new mode 100755