From fe628b0ce70f6fb53f1cd019579eef979dee7a95 Mon Sep 17 00:00:00 2001
From: Alex Richardson <alexrichardson@google.com>
Date: Fri, 20 Sep 2024 13:44:00 -0700
Subject: [PATCH] Update line number in fail/prelude_no_order.expect

---
 test/typecheck/fail/prelude_no_order.expect | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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