TheoryUFWhite is passing. I fixed 2 errors. Unfortunately, I also changed a TNode to a Node at one point in the code. TNode failed for a completely unknown reason. I'm try to isolate the problem is a bit, but I am commiting this for now so other things can move forward.

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;