pass through for unary tactical

Z3Prover · Dec 7, 2021 · e3bd5ba · e3bd5ba
1 parent 1e95fb4
commit e3bd5ba
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/tactic/tactical.cpp b/src/tactic/tactical.cpp
@@ -817,6 +817,9 @@ class unary_tactical : public tactic {
     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<typename T>