From 929d9f430bcc63efd42993d3ca9ed380067249ef Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 1 Sep 2013 13:45:02 -0700
Subject: [PATCH] refactor closure code

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/muz/pdr/pdr_closure.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/muz/pdr/pdr_closure.cpp b/src/muz/pdr/pdr_closure.cpp
index 483b48932..3a450a68d 100644
--- a/src/muz/pdr/pdr_closure.cpp
+++ b/src/muz/pdr/pdr_closure.cpp
@@ -135,6 +135,7 @@ namespace pdr {
             result = e;
         }
         else {
+            result = e;
             IF_VERBOSE(1, verbose_stream() << "Cannot close: " << mk_pp(e, m) << "\n";);
         }
         return result;