From 52acbf1f1467ec2dd5968541a7951631d4bd0107 Mon Sep 17 00:00:00 2001
From: Arie Gurfinkel <arie.gurfinkel@uwaterloo.ca>
Date: Thu, 8 Aug 2019 15:06:26 -0400
Subject: [PATCH] bug in qe_lite

---
 src/qe/qe_lite.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/qe/qe_lite.cpp b/src/qe/qe_lite.cpp
index 7f2ac4b19..372102d40 100644
--- a/src/qe/qe_lite.cpp
+++ b/src/qe/qe_lite.cpp
@@ -145,6 +145,7 @@ namespace eq {
                     continue;
                 if (is_sub_extract(vars[i]->get_idx(), definitions[i])) {
                     order.push_back(i);
+                    done.mark(definitions[i]);
                     continue;
                 }
                 var * v = vars[i];