diff --git a/tests/issues/issue567.icry.stdout b/tests/issues/issue567.icry.stdout
index 2e56bafee..1f4b40e99 100644
--- a/tests/issues/issue567.icry.stdout
+++ b/tests/issues/issue567.icry.stdout
@@ -11,12 +11,12 @@ Loading module Cryptol
     This binding for `x` shadows the existing binding at
     issue567.icry:3:6--3:7
 (\(x, y) x -> x) : {a, b, c} (a, b) -> c -> c
-[warning] at issue567.icry:4:16--4:17
-    This binding for `y` shadows the existing binding at
-    issue567.icry:4:9--4:10
 [warning] at issue567.icry:4:13--4:14
     This binding for `x` shadows the existing binding at
     issue567.icry:4:6--4:7
+[warning] at issue567.icry:4:16--4:17
+    This binding for `y` shadows the existing binding at
+    issue567.icry:4:9--4:10
 (\(x, y) (x, y) -> x) : {a, b, c, d} (a, b) -> (c, d) -> c
 [warning] at issue567.icry:5:8--5:9
     This binding for `x` shadows the existing binding at
diff --git a/tests/regression/specialize.icry.stdout b/tests/regression/specialize.icry.stdout
index 948e2c97c..fea323d51 100644
--- a/tests/regression/specialize.icry.stdout
+++ b/tests/regression/specialize.icry.stdout
@@ -13,14 +13,14 @@ where
   specialize::f = \ (__p1 : (Bit, Bit)) ->
                   (x, y)
                   where
-                    /* Not recursive */
-                    x : Bit
-                    x = __p1 .0 /* of 2 */
-                    
                     /* Not recursive */
                     y : Bit
                     y = __p1 .1 /* of 2 */
                     
+                    /* Not recursive */
+                    x : Bit
+                    x = __p1 .0 /* of 2 */
+                    
                   
   
   /* Not recursive */
@@ -28,14 +28,14 @@ where
   specialize::top = \ (__p0 : (Bit, Bit)) ->
                     specialize::f (x, y)
                     where
-                      /* Not recursive */
-                      x : Bit
-                      x = __p0 .0 /* of 2 */
-                      
                       /* Not recursive */
                       y : Bit
                       y = __p0 .1 /* of 2 */
                       
+                      /* Not recursive */
+                      x : Bit
+                      x = __p0 .0 /* of 2 */
+