diff --git a/src/ast/simplifiers/CMakeLists.txt b/src/ast/simplifiers/CMakeLists.txt
index a705172a3..d43bbe203 100644
--- a/src/ast/simplifiers/CMakeLists.txt
+++ b/src/ast/simplifiers/CMakeLists.txt
@@ -43,5 +43,4 @@ z3_add_component(simplifiers
     randomizer.h
     refine_inj_axiom.h
     rewriter_simplifier.h
-    special_relations_simplifier.h
 )
diff --git a/src/ast/simplifiers/special_relations_simplifier.h b/src/tactic/core/special_relations_simplifier.h
similarity index 100%
rename from src/ast/simplifiers/special_relations_simplifier.h
rename to src/tactic/core/special_relations_simplifier.h
diff --git a/src/tactic/core/special_relations_tactic.h b/src/tactic/core/special_relations_tactic.h
index 9426a8eb0..7e0e88105 100644
--- a/src/tactic/core/special_relations_tactic.h
+++ b/src/tactic/core/special_relations_tactic.h
@@ -21,7 +21,7 @@ Notes:
 
 #include "tactic/tactic.h"
 #include "tactic/dependent_expr_state_tactic.h"
-#include "ast/simplifiers/special_relations_simplifier.h"
+#include "tactic/core/special_relations_simplifier.h"
 
 inline tactic* mk_special_relations_tactic(ast_manager& m, params_ref const& p = params_ref()) {
     return alloc(dependent_expr_state_tactic, m, p,