From abe6d5bca7228a08f23aa9b05aa798e202036119 Mon Sep 17 00:00:00 2001
From: Kyle Miller <kmill31415@gmail.com>
Date: Fri, 25 Oct 2024 14:38:06 -0700
Subject: [PATCH] fix: declaration ranges changed after stage0 update (#5845)

Recently declaration ranges have changed slightly to include attribute
lists. Fixes a test that broke.
---
 tests/lean/1021.lean.expected.out | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/lean/1021.lean.expected.out b/tests/lean/1021.lean.expected.out
index aef0080bff..d7aee53889 100644
--- a/tests/lean/1021.lean.expected.out
+++ b/tests/lean/1021.lean.expected.out
@@ -1,7 +1,7 @@
 some
   {
     range :=
-      { pos := { line := 202, column := 42 }, charUtf16 := 42, endPos := { line := 208, column := 31 },
+      { pos := { line := 202, column := 0 }, charUtf16 := 0, endPos := { line := 208, column := 31 },
         endCharUtf16 := 31 },
     selectionRange :=
       { pos := { line := 202, column := 46 }, charUtf16 := 46, endPos := { line := 202, column := 58 },