diff --git a/src/smt/ctx_solver_simplify_tactic.cpp b/src/tactic/smt/ctx_solver_simplify_tactic.cpp
similarity index 100%
rename from src/smt/ctx_solver_simplify_tactic.cpp
rename to src/tactic/smt/ctx_solver_simplify_tactic.cpp
diff --git a/src/smt/ctx_solver_simplify_tactic.h b/src/tactic/smt/ctx_solver_simplify_tactic.h
similarity index 100%
rename from src/smt/ctx_solver_simplify_tactic.h
rename to src/tactic/smt/ctx_solver_simplify_tactic.h