From 57d1667d28d30c36ac6d8684c7660858eb1c6e80 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Sun, 22 Feb 2026 08:47:14 +0000
Subject: [PATCH] Remove der_tactic.cpp from CMakeLists.txt (file was deleted)

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---
 src/tactic/core/CMakeLists.txt | 1 -
 1 file changed, 1 deletion(-)

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