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
-
---*/