From 5380b01fd171cd2bc804b46c10027fb53e7994d9 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 29 Jul 2018 00:44:40 -0700
Subject: [PATCH] bool -> string

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 4d0009fbe..2b77294d5 100644
--- a/src/api/api_numeral.cpp
+++ b/src/api/api_numeral.cpp
@@ -186,7 +186,7 @@ extern "C" {
         // This function invokes Z3_get_numeral_rational, but it is still ok to add LOG command here because it does not return a Z3 object.
         LOG_Z3_get_numeral_string(c, a);
         RESET_ERROR_CODE();
-        CHECK_IS_EXPR(a, Z3_FALSE);
+        CHECK_IS_EXPR(a, "");
         rational r;
         Z3_bool ok = Z3_get_numeral_rational(c, a, r);
         if (ok == Z3_TRUE) {