diff --git a/src/ast/normal_forms/elim_term_ite.cpp b/src/smt/elim_term_ite.cpp
similarity index 100%
rename from src/ast/normal_forms/elim_term_ite.cpp
rename to src/smt/elim_term_ite.cpp
diff --git a/src/ast/normal_forms/elim_term_ite.h b/src/smt/elim_term_ite.h
similarity index 100%
rename from src/ast/normal_forms/elim_term_ite.h
rename to src/smt/elim_term_ite.h