From 5aa74644fc264325e92c7e06b794055e28ae6efd Mon Sep 17 00:00:00 2001
From: Ken McMillan <kenmcmil@microsoft.com>
Date: Mon, 27 Jul 2015 11:15:33 -0700
Subject: [PATCH] fix for issue #171 (interpolation crash)

---
 src/interp/iz3translate.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/interp/iz3translate.cpp b/src/interp/iz3translate.cpp
index ffc17d43e..b4cd22830 100755
--- a/src/interp/iz3translate.cpp
+++ b/src/interp/iz3translate.cpp
@@ -2005,6 +2005,7 @@ public:
                 res = make(commute,pf,comm_equiv);
                 break;
             }
+            case PR_NOT_OR_ELIM:
             case PR_AND_ELIM: {
                 std::vector<ast> rule_ax, res_conc;
                 ast piv = conc(prem(proof,0));