From f465a2225aa3223a6c31403f94d33b27f3edb99f Mon Sep 17 00:00:00 2001 From: Arie Gurfinkel Date: Mon, 31 Jul 2017 17:14:43 -0400 Subject: [PATCH] fixing include paths --- src/muz/bmc/dl_bmc_engine.cpp | 3 ++- src/muz/transforms/dl_transforms.cpp | 3 ++- 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/src/muz/bmc/dl_bmc_engine.cpp b/src/muz/bmc/dl_bmc_engine.cpp index e78fb4331..fc5067355 100644 --- a/src/muz/bmc/dl_bmc_engine.cpp +++ b/src/muz/bmc/dl_bmc_engine.cpp @@ -32,7 +32,8 @@ Revision History: #include "muz/transforms/dl_transforms.h" #include "muz/transforms/dl_mk_rule_inliner.h" #include "ast/scoped_proof.h" -#include "muz/base/fixedpoint_params.hpp" + +#include "fixedpoint_params.hpp" namespace datalog { diff --git a/src/muz/transforms/dl_transforms.cpp b/src/muz/transforms/dl_transforms.cpp index 4569cb572..b684139f6 100644 --- a/src/muz/transforms/dl_transforms.cpp +++ b/src/muz/transforms/dl_transforms.cpp @@ -33,8 +33,9 @@ Revision History: #include "muz/transforms/dl_mk_quantifier_instantiation.h" #include "muz/transforms/dl_mk_subsumption_checker.h" #include "muz/transforms/dl_mk_scale.h" -#include "muz/base/fixedpoint_params.hpp" #include "muz/transforms/dl_mk_array_eq_rewrite.h" +#include "muz/transforms/dl_mk_array_instantiation.h" +#include "fixedpoint_params.hpp" namespace datalog {