actually fix exist_pattern test

1 files changed, 2 insertions, 2 deletions

diff --git a/test/typecheck/pass/exist_pattern.sail b/test/typecheck/pass/exist_pattern.sail
index c701f12b..ac41114f 100644
--- a/test/typecheck/pass/exist_pattern.sail
+++ b/test/typecheck/pass/exist_pattern.sail
@@ -1,4 +1,4 @@
-default Order inc
+default Order dec
 
 $include <prelude.sail>
 
@@ -36,7 +36,7 @@ function main () = {
     32 => x = 128
   };
   match 0b010101 {
-    0b01 @ _ : vector(1, inc, bit) @ 0b101 => n = 42,
+    0b01 @ _ : vector(1, dec, bit) @ 0b101 => n = 42,
     _ => n = 0
   };
   n = 3;