From 1f634efe0447e23a3d52997052951fcddf495da6 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 9 Jun 2018 21:11:55 -0700
Subject: [PATCH] initial working version

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

diff --git a/src/qe/qe_term_graph.cpp b/src/qe/qe_term_graph.cpp
index 5e8c22919..7244f4e22 100644
--- a/src/qe/qe_term_graph.cpp
+++ b/src/qe/qe_term_graph.cpp
@@ -372,6 +372,7 @@ namespace qe {
         ptr_buffer<expr> todo;
         todo.push_back(t);
         while (!todo.empty()) {
+			t = todo.back();
             res = get_term(t);
             if (res) {
                 todo.pop_back();