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() {