From 973f79dc4d174c07739bbfe8a8be37d960c45193 Mon Sep 17 00:00:00 2001
From: Zachary Wimer <zwimer@users.noreply.github.com>
Date: Mon, 12 Apr 2021 13:38:03 -0700
Subject: [PATCH] rename final to register_final since final is a specifier in
 C++11+ (#5172)

---
 src/api/c++/z3++.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/api/c++/z3++.h b/src/api/c++/z3++.h
index 1aa1e6eb7..644c7033a 100644
--- a/src/api/c++/z3++.h
+++ b/src/api/c++/z3++.h
@@ -3705,7 +3705,7 @@ namespace z3 {
            for the propagator to implement branch and bound optimization. 
         */
 
-        void final(final_eh_t& f) { 
+        void register_final(final_eh_t& f) { 
             assert(s);
             m_final_eh = f; 
             Z3_solver_propagate_final(ctx(), *s, final_eh);