From 06fc94818f477cd143fb114e9cde26ccc08320b1 Mon Sep 17 00:00:00 2001
From: Nicola Mometto <me@bronsa.net>
Date: Tue, 11 Dec 2018 12:09:22 +0000
Subject: [PATCH] Change error message from "internal failure" to "Object
allocation failed"
For consistency with https://github.com/Z3Prover/z3/commit/ad49c3269a7a0e238d27e06532eb15482e285de2 and Java/dotNet APIs
---
src/api/ml/z3native_stubs.c.pre | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/api/ml/z3native_stubs.c.pre b/src/api/ml/z3native_stubs.c.pre
index 4d221aac3..5c1a3bd06 100644
--- a/src/api/ml/z3native_stubs.c.pre
+++ b/src/api/ml/z3native_stubs.c.pre
@@ -458,7 +458,7 @@ CAMLprim DLL_PUBLIC value n_mk_config() {
z3rv = Z3_mk_config();
if (z3rv == NULL) {
- caml_raise_with_string(*caml_named_value("Z3EXCEPTION"), "internal error");
+ caml_raise_with_string(*caml_named_value("Z3EXCEPTION"), "Object allocation failed");
}
/* construct simple return value */