From ff723f15ffcf83eebede32d3bf2d25833b7f73cc Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 29 Sep 2021 12:19:02 -0700
Subject: [PATCH] Update z3++.h

---
 src/api/c++/z3++.h | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/api/c++/z3++.h b/src/api/c++/z3++.h
index 754f78857e3..f0c0cc3aa70 100644
--- a/src/api/c++/z3++.h
+++ b/src/api/c++/z3++.h
@@ -3927,7 +3927,7 @@ namespace z3 {
         
         user_propagator_base(solver* s): s(s), c(nullptr) {
               Z3_solver_propagate_init(ctx(), *s, this, push_eh, pop_eh, fresh_eh);
-	    }
+        }
 
         virtual void push() = 0;
         virtual void pop(unsigned num_scopes) = 0;
@@ -3948,13 +3948,13 @@ namespace z3 {
            that were created using a solver. 
         */
 
-        void fixed(fixed_eh_t& f) { 
+        void register_fixed(fixed_eh_t& f) { 
             assert(s);
             m_fixed_eh = f; 
             Z3_solver_propagate_fixed(ctx(), *s, fixed_eh); 
         }
 
-        void eq(eq_eh_t& f) { 
+        void register_eq(eq_eh_t& f) { 
             assert(s);
             m_eq_eh = f; 
             Z3_solver_propagate_eq(ctx(), *s, eq_eh);