---

yaml
---
r: 3468
b: refs/heads/master
c: 76b755f
h: refs/heads/master
v: v3

Author: catamorphism

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 88447a47c08a3903fc6dc46863724745a923597a
+refs/heads/master: 76b755f9adca5a33f30271ee5bca8380763f5e4a

trunk/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;