From fd5372d7a27792e884bd7d94da053599f8f98eb6 Mon Sep 17 00:00:00 2001
From: Josh Berdine <jjb@microsoft.com>
Date: Sat, 8 Dec 2012 18:05:26 +0000
Subject: [PATCH] Z3_search_failure type not needed in v4 ml api

---
 src/api/z3_api.h | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/api/z3_api.h b/src/api/z3_api.h
index e12ce3591..e8306bfb6 100644
--- a/src/api/z3_api.h
+++ b/src/api/z3_api.h
@@ -1080,6 +1080,7 @@ typedef enum {
     Z3_PK_INVALID
 } Z3_param_kind;
 
+#ifdef CorML3
 /**
    \mlonly {!search_failure} \endmlonly \conly \brief
    The different kinds of search failure types.
@@ -1103,6 +1104,7 @@ typedef enum {
     Z3_THEORY,        
     Z3_QUANTIFIERS
 } Z3_search_failure;
+#endif
 
 /**
    \mlonly {!ast_print_mode} \endmlonly \conly \brief