From b149f27e82d3370ba3bb4fdc9b0d4df0283835ec Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 22 Feb 2026 00:25:24 -0800 Subject: [PATCH] Delete src/tactic/core/der_tactic.cpp --- src/tactic/core/der_tactic.cpp | 17 ----------------- 1 file changed, 17 deletions(-) delete mode 100644 src/tactic/core/der_tactic.cpp 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"