Skip to content

Commit

Permalink
Update line number in fail/prelude_no_order.expect
Browse files Browse the repository at this point in the history
  • Loading branch information
@arichardson @Alasdair
arichardson authored and Alasdair committed Sep 25, 2024
1 parent e647305 commit fe628b0
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions test/typecheck/fail/prelude_no_order.expect
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
:2.0-23:
2 |$include <prelude.sail>
 |^---------------------^
 | :72.0-22:
 | 72 |$include <vector.sail>
 | :51.0-22:
 | 51 |$include <vector.sail>
 |  |^--------------------^ included by prelude.sail
 |  | A default order must be set (using `default Order dec` or `default Order inc`) before including this file

0 comments on commit fe628b0

Please sign in to comment.