From e7851a063761785c25c4285c502313a4844bc1f2 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 7 Jan 2018 18:32:31 -0800
Subject: [PATCH] fix build

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/api/api_numeral.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/api/api_numeral.cpp b/src/api/api_numeral.cpp
index 1cee7469c..d3dabcd4e 100644
--- a/src/api/api_numeral.cpp
+++ b/src/api/api_numeral.cpp
@@ -235,7 +235,7 @@ extern "C" {
         expr* e = to_expr(a);
         if (!e) {
             SET_ERROR_CODE(Z3_INVALID_ARG);
-            RETURN_Z3("");
+            return "";
         }
         rational r;
         arith_util & u = mk_c(c)->autil();