From 76b755f9adca5a33f30271ee5bca8380763f5e4a Mon Sep 17 00:00:00 2001
From: Tim Chevalier <chevalier@alum.wellesley.edu>
Date: Wed, 29 Jun 2011 11:50:02 -0700
Subject: [PATCH] Remove workaround for a compiler bug that, I guess, got fixed

---
 src/comp/middle/tstate/auxiliary.rs | 17 +++--------------
 1 file changed, 3 insertions(+), 14 deletions(-)

diff --git a/src/comp/middle/tstate/auxiliary.rs b/src/comp/middle/tstate/auxiliary.rs
index 13198788141f..bfd2743f7a08 100644
--- a/src/comp/middle/tstate/auxiliary.rs
+++ b/src/comp/middle/tstate/auxiliary.rs
@@ -99,20 +99,9 @@ fn first_difference_string(&fn_ctxt fcx, &tritv::t expected, &tritv::t actual)
     let str s = "";
     auto done = false;
     for (norm_constraint c in constraints(fcx)) {
-        if (!done) {
-            if (tritv_get(expected, c.bit_num) == ttrue &&
-                tritv_get(actual, c.bit_num) != ttrue) {
-                /*
-                  FIXME
-                  for fun, try either:
-                  * "ret s" after the assignment to s
-                  or
-                  * using break here
-                  */
-
-                s = constraint_to_str(fcx.ccx.tcx, c.c);
-                done = true;
-            }
+        if (tritv_get(expected, c.bit_num) == ttrue &&
+            tritv_get(actual, c.bit_num) != ttrue) {
+            ret constraint_to_str(fcx.ccx.tcx, c.c);
         }
     }
     ret s;