From 6277ed61c942f1f150c8d792d9f9d3f09da925ae Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 13 Oct 2018 02:09:35 -0700
Subject: [PATCH] pull rounding mode top-level to deal with build

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/api/c++/z3++.h | 18 ++++++++++--------
 1 file changed, 10 insertions(+), 8 deletions(-)

diff --git a/src/api/c++/z3++.h b/src/api/c++/z3++.h
index e009113fb..54fc735b0 100644
--- a/src/api/c++/z3++.h
+++ b/src/api/c++/z3++.h
@@ -127,6 +127,14 @@ namespace z3 {
         unsat, sat, unknown
     };
 
+    enum rounding_mode {
+        RNA,
+        RNE,
+        RTP,
+        RTN,
+        RTZ
+    };
+
     inline check_result to_check_result(Z3_lbool l) {
         if (l == Z3_L_TRUE) return sat;
         else if (l == Z3_L_FALSE) return unsat;
@@ -137,15 +145,9 @@ namespace z3 {
     /**
        \brief A Context manages all other Z3 objects, global configuration options, etc.
     */
+
+
     class context {
-    public:
-        enum rounding_mode {
-            RNA,
-            RNE,
-            RTP,
-            RTN,
-            RTZ
-        };
     private:
         bool       m_enable_exceptions;
         rounding_mode m_rounding_mode;