From 74efe253a0e3688af73392a4661f3a67ec7d0a5c Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 5 Aug 2018 10:09:23 -0700 Subject: [PATCH] fix header files Signed-off-by: Nikolaj Bjorner --- src/tactic/fd_solver/fd_solver.cpp | 6 +++--- src/tactic/fd_solver/pb2bv_solver.cpp | 1 + 2 files changed, 4 insertions(+), 3 deletions(-) diff --git a/src/tactic/fd_solver/fd_solver.cpp b/src/tactic/fd_solver/fd_solver.cpp index acb579214..2af30b089 100644 --- a/src/tactic/fd_solver/fd_solver.cpp +++ b/src/tactic/fd_solver/fd_solver.cpp @@ -20,9 +20,9 @@ Notes: #include "tactic/fd_solver/fd_solver.h" #include "tactic/tactic.h" #include "sat/sat_solver/inc_sat_solver.h" -#include "tactic/portfolio/enum2bv_solver.h" -#include "tactic/portfolio/pb2bv_solver.h" -#include "tactic/portfolio/bounded_int2bv_solver.h" +#include "tactic/fd_solver/enum2bv_solver.h" +#include "tactic/fd_solver/pb2bv_solver.h" +#include "tactic/fd_solver/bounded_int2bv_solver.h" #include "solver/solver2tactic.h" #include "solver/parallel_tactic.h" #include "solver/parallel_params.hpp" diff --git a/src/tactic/fd_solver/pb2bv_solver.cpp b/src/tactic/fd_solver/pb2bv_solver.cpp index 83396408e..fd4fb8e73 100644 --- a/src/tactic/fd_solver/pb2bv_solver.cpp +++ b/src/tactic/fd_solver/pb2bv_solver.cpp @@ -16,6 +16,7 @@ Notes: --*/ +#include "util/statistics.h" #include "ast/ast_pp.h" #include "ast/rewriter/pb2bv_rewriter.h" #include "ast/rewriter/th_rewriter.h"