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();