From e3bd5badf2854b1c258861188efc2883c0419065 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 7 Dec 2021 10:45:03 -0800 Subject: [PATCH] pass through for unary tactical --- src/tactic/tactical.cpp | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/tactic/tactical.cpp b/src/tactic/tactical.cpp index 68201b5d4..c6419d95f 100644 --- a/src/tactic/tactical.cpp +++ b/src/tactic/tactical.cpp @@ -817,6 +817,9 @@ public: void reset() override { m_t->reset(); } void set_logic(symbol const& l) override { m_t->set_logic(l); } void set_progress_callback(progress_callback * callback) override { m_t->set_progress_callback(callback); } + unsigned user_propagate_register(expr* e) override { return m_t->user_propagate_register(e); } + void user_propagate_clear() override { m_t->user_propagate_clear(); } + protected: template