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 */