diff --git a/test/typecheck/fail/prelude_no_order.expect b/test/typecheck/fail/prelude_no_order.expect
index 37ed8a7db..c8d6ada3f 100644
--- a/test/typecheck/fail/prelude_no_order.expect
+++ b/test/typecheck/fail/prelude_no_order.expect
@@ -2,7 +2,7 @@
 :2.0-23:
 2[96m |[0m$include <prelude.sail>
  [91m |[0m[91m^---------------------^[0m
- [91m |[0m :72.0-22:
- [91m |[0m 72[96m |[0m$include <vector.sail>
+ [91m |[0m :51.0-22:
+ [91m |[0m 51[96m |[0m$include <vector.sail>
  [91m |[0m   [91m |[0m[91m^--------------------^[0m [91mincluded by prelude.sail[0m
  [91m |[0m   [91m |[0m A default order must be set (using `default Order dec` or `default Order inc`) before including this file