From 646016742bd5885471eca171dded1a86c0513aa4 Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Thu, 12 Mar 2026 18:02:43 +0000 Subject: [PATCH] Fix Python build: move special_relations_simplifier.h to tactic/core to resolve expr_pattern_match.h dependency Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com> --- src/ast/simplifiers/CMakeLists.txt | 1 - .../simplifiers => tactic/core}/special_relations_simplifier.h | 0 src/tactic/core/special_relations_tactic.h | 2 +- 3 files changed, 1 insertion(+), 2 deletions(-) rename src/{ast/simplifiers => tactic/core}/special_relations_simplifier.h (100%) diff --git a/src/ast/simplifiers/CMakeLists.txt b/src/ast/simplifiers/CMakeLists.txt index a705172a3..d43bbe203 100644 --- a/src/ast/simplifiers/CMakeLists.txt +++ b/src/ast/simplifiers/CMakeLists.txt @@ -43,5 +43,4 @@ z3_add_component(simplifiers randomizer.h refine_inj_axiom.h rewriter_simplifier.h - special_relations_simplifier.h ) diff --git a/src/ast/simplifiers/special_relations_simplifier.h b/src/tactic/core/special_relations_simplifier.h similarity index 100% rename from src/ast/simplifiers/special_relations_simplifier.h rename to src/tactic/core/special_relations_simplifier.h diff --git a/src/tactic/core/special_relations_tactic.h b/src/tactic/core/special_relations_tactic.h index 9426a8eb0..7e0e88105 100644 --- a/src/tactic/core/special_relations_tactic.h +++ b/src/tactic/core/special_relations_tactic.h @@ -21,7 +21,7 @@ Notes: #include "tactic/tactic.h" #include "tactic/dependent_expr_state_tactic.h" -#include "ast/simplifiers/special_relations_simplifier.h" +#include "tactic/core/special_relations_simplifier.h" inline tactic* mk_special_relations_tactic(ast_manager& m, params_ref const& p = params_ref()) { return alloc(dependent_expr_state_tactic, m, p,