From a3c692c05fa571eaae06e604b9acf2e990df2042 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 5 Aug 2018 13:49:26 -0700 Subject: [PATCH] fix include paths Signed-off-by: Nikolaj Bjorner --- src/test/get_consequences.cpp | 2 +- src/test/pb2bv.cpp | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/test/get_consequences.cpp b/src/test/get_consequences.cpp index 767b07b6d..0e5124d58 100644 --- a/src/test/get_consequences.cpp +++ b/src/test/get_consequences.cpp @@ -11,7 +11,7 @@ Copyright (c) 2016 Microsoft Corporation #include "tactic/bv/dt2bv_tactic.h" #include "tactic/tactic.h" #include "model/model_smt2_pp.h" -#include "tactic/portfolio/fd_solver.h" +#include "tactic/fd_solver/fd_solver.h" static expr_ref mk_const(ast_manager& m, char const* name, sort* s) { return expr_ref(m.mk_const(symbol(name), s), m); diff --git a/src/test/pb2bv.cpp b/src/test/pb2bv.cpp index d58bf61ee..493d81bb7 100644 --- a/src/test/pb2bv.cpp +++ b/src/test/pb2bv.cpp @@ -16,7 +16,7 @@ Copyright (c) 2015 Microsoft Corporation #include "ast/ast_util.h" #include "ast/pb_decl_plugin.h" #include "ast/rewriter/th_rewriter.h" -#include "tactic/portfolio/fd_solver.h" +#include "tactic/fd_solver/fd_solver.h" #include "solver/solver.h" static void test1() {