From fd424c7afd1be991f0a138ca1ec2cf215bd591e2 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Mon, 23 Feb 2026 04:01:34 +0000
Subject: [PATCH] Delete factor_tactic.cpp (implementation moved to
 factor_simplifier.cpp)

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---
 src/tactic/arith/factor_tactic.cpp | 18 ------------------
 1 file changed, 18 deletions(-)
 delete mode 100644 src/tactic/arith/factor_tactic.cpp

diff --git a/src/tactic/arith/factor_tactic.cpp b/src/tactic/arith/factor_tactic.cpp
deleted file mode 100644
index dadb11214..000000000
--- a/src/tactic/arith/factor_tactic.cpp
+++ /dev/null
@@ -1,18 +0,0 @@
-/*++
-Copyright (c) 2012 Microsoft Corporation
-
-Module Name:
-
-    factor_tactic.cpp
-
-Abstract:
-
-    Polynomial factorization tactic.
-    The implementation has been moved to ast/simplifiers/factor_simplifier.cpp.
-    The tactic is now a thin wrapper around factor_simplifier via dependent_expr_state_tactic.
-
-Author:
-
-    Leonardo de Moura (leonardo) 2012-02-03
-
---*/