From d47e06732c71934eb64b7ad6e5b37b7354561169 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 5 Aug 2018 10:02:15 -0700 Subject: [PATCH] bmc improvements, move fd_solver to self-contained directory Signed-off-by: Nikolaj Bjorner --- src/muz/bmc/dl_bmc_engine.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/muz/bmc/dl_bmc_engine.cpp b/src/muz/bmc/dl_bmc_engine.cpp index e8cf8ff9d..f804a239a 100644 --- a/src/muz/bmc/dl_bmc_engine.cpp +++ b/src/muz/bmc/dl_bmc_engine.cpp @@ -25,7 +25,7 @@ Revision History: #include "ast/rewriter/rewriter_def.h" #include "ast/scoped_proof.h" #include "smt/smt_solver.h" -#include "tactic/portfolio/fd_solver.h" +#include "tactic/fd_solver/fd_solver.h" #include "muz/base/dl_context.h" #include "muz/base/dl_rule_transformer.h" #include "muz/bmc/dl_bmc_engine.h"