1 files changed, 2 insertions, 2 deletions
diff --git a/src/theory/theory.h b/src/theory/theory.h
index efa67d6c4..86badb9bd 100644
--- a/src/theory/theory.h
+++ b/src/theory/theory.h
@@ -324,8 +324,8 @@ Node TheoryImpl<T>::get() {
      * and the above registration of leaves, this should ensure that
      * all subterms in the entire tree were registered in
      * reverse-topological order. */
-    for(std::list<TNode>::reverse_iterator i = toReg.rend();
-        i != toReg.rbegin();
+    for(std::list<TNode>::reverse_iterator i = toReg.rbegin();
+        i != toReg.rend();
         ++i) {
 
       TNode n = *i;