From e6f8fe359e2bb5e8216d409e312d1e6250c09be7 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 31 Jan 2023 12:32:28 -0800 Subject: [PATCH] remove empty file Signed-off-by: Nikolaj Bjorner --- doc/mk_tactic_doc.py | 2 +- src/tactic/bv/bv_slice_tactic.cpp | 18 ------------------ src/tactic/core/euf_completion_tactic.cpp | 2 -- 3 files changed, 1 insertion(+), 21 deletions(-) delete mode 100644 src/tactic/bv/bv_slice_tactic.cpp diff --git a/doc/mk_tactic_doc.py b/doc/mk_tactic_doc.py index e825731349b..a22201e2712 100644 --- a/doc/mk_tactic_doc.py +++ b/doc/mk_tactic_doc.py @@ -55,7 +55,7 @@ def extract_tactic_doc(ous, f): generate_tactic_doc(ous, f, ins) def generate_simplifier_doc(ous, name, desc): - ous.write("## Simplifier [" + name + "](../summary/#tactic-" + name + ")\n") + ous.write("## Simplifier [" + name + "](https://microsoft.github.io/z3guide/docs/strategies/summary/#tactic-" + name + ")\n") ous.write("### Description\n" + desc + "\n") diff --git a/src/tactic/bv/bv_slice_tactic.cpp b/src/tactic/bv/bv_slice_tactic.cpp deleted file mode 100644 index bb3d437d962..00000000000 --- a/src/tactic/bv/bv_slice_tactic.cpp +++ /dev/null @@ -1,18 +0,0 @@ -/*++ -Copyright (c) 2022 Microsoft Corporation - -Module Name: - - bv_slice_tactic.cpp - -Abstract: - - Tactic for simplifying with bit-vector slices - -Author: - - Nikolaj Bjorner (nbjorner) 2022-10-30 - ---*/ - - diff --git a/src/tactic/core/euf_completion_tactic.cpp b/src/tactic/core/euf_completion_tactic.cpp index ec440878299..af2ca9ed723 100644 --- a/src/tactic/core/euf_completion_tactic.cpp +++ b/src/tactic/core/euf_completion_tactic.cpp @@ -16,8 +16,6 @@ Module Name: --*/ #include "tactic/tactic.h" -#include "tactic/dependent_expr_state_tactic.h" -#include "ast/simplifiers/euf_completion.h" #include "tactic/core/euf_completion_tactic.h" tactic * mk_euf_completion_tactic(ast_manager& m, params_ref const& p) {