From a3de478c9300c7b57910c4c85348ebf567167f5e Mon Sep 17 00:00:00 2001
From: Arie Gurfinkel <arie.gurfinkel@uwaterloo.ca>
Date: Thu, 14 Jun 2018 16:13:53 -0700
Subject: [PATCH] typo

---
 src/qe/qe_term_graph.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/qe/qe_term_graph.cpp b/src/qe/qe_term_graph.cpp
index 0f1f75b39..4a08eeb89 100644
--- a/src/qe/qe_term_graph.cpp
+++ b/src/qe/qe_term_graph.cpp
@@ -781,7 +781,7 @@ namespace qe {
             // -- of the same sort longer than 1
             std::sort(reps.c_ptr(), reps.c_ptr() + reps.size(), sort_lt_proc());
             unsigned i = 0;
-            unsigned sz = res.size();
+            unsigned sz = reps.size();
             while (i < sz) {
                 sort* last_sort = get_sort(reps.get(i));
                 unsigned j = i + 1;