From 4cf41c44f37214911e7d99fd5463298da8ab677f Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 22 Dec 2015 11:09:48 -0800
Subject: [PATCH] support else values that are null from models

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/api/api_model.cpp | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/api/api_model.cpp b/src/api/api_model.cpp
index 370e639b9..63092b2cf 100644
--- a/src/api/api_model.cpp
+++ b/src/api/api_model.cpp
@@ -277,7 +277,9 @@ extern "C" {
         RESET_ERROR_CODE();
         CHECK_NON_NULL(f, 0);
         expr * e = to_func_interp_ref(f)->get_else();
-        mk_c(c)->save_ast_trail(e);
+        if (e) {
+            mk_c(c)->save_ast_trail(e);
+        }
         RETURN_Z3(of_expr(e));
         Z3_CATCH_RETURN(0);
     }