diff --git a/src/tactic/core/CMakeLists.txt b/src/tactic/core/CMakeLists.txt
index a191b6251..9aa3cc2ba 100644
--- a/src/tactic/core/CMakeLists.txt
+++ b/src/tactic/core/CMakeLists.txt
@@ -5,7 +5,6 @@ z3_add_component(core_tactics
     cofactor_term_ite_tactic.cpp
     collect_statistics_tactic.cpp
     ctx_simplify_tactic.cpp
-    der_tactic.cpp
     elim_term_ite_tactic.cpp
     elim_uncnstr_tactic.cpp
     injectivity_tactic.cpp