diff --git a/src/tactic/core/der_tactic.cpp b/src/tactic/core/der_tactic.cpp
deleted file mode 100644
index 47c23e036..000000000
--- a/src/tactic/core/der_tactic.cpp
+++ /dev/null
@@ -1,17 +0,0 @@
-/*++
-Copyright (c) 2012 Microsoft Corporation
-
-Module Name:
-
-    der_tactic.cpp
-
-Abstract:
-
-    DER tactic
-
-Author:
-
-    Leonardo de Moura (leonardo) 2012-10-20
-
---*/
-#include "tactic/core/der_tactic.h"