From 04e57e08ba93be87633f2dbf9bfe3a500ac51081 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 9 Sep 2017 08:37:17 +0300
Subject: [PATCH] na

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/smt/smt_solver.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/smt/smt_solver.cpp b/src/smt/smt_solver.cpp
index 65ba1ee24..e78c6388e 100644
--- a/src/smt/smt_solver.cpp
+++ b/src/smt/smt_solver.cpp
@@ -306,9 +306,9 @@ namespace smt {
 
                     unsigned i = 0;
                     for (auto & kv : m_name2assertion) {
-                        if (!core.contains(ait->m_key) &&
+                        if (!core.contains(kv.m_key) &&
                             fds_intersect(pattern_fds, assrtn_fds[i]))
-                            new_core_literals.push_back(ait->m_key);
+                            new_core_literals.push_back(kv.m_key);
                         ++i;
                     }
                 }