From a7364499d24bc4cb73e71eb9e94b3cd44835698f Mon Sep 17 00:00:00 2001
From: Scott Morrison <scott.morrison@gmail.com>
Date: Fri, 9 Feb 2024 18:22:39 +1100
Subject: [PATCH] chore: update line numbers in test after rebase

---
 tests/lean/1021.lean.expected.out | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/tests/lean/1021.lean.expected.out b/tests/lean/1021.lean.expected.out
index 1eaf8c6869..3e03401440 100644
--- a/tests/lean/1021.lean.expected.out
+++ b/tests/lean/1021.lean.expected.out
@@ -1,8 +1,8 @@
-some { range := { pos := { line := 177, column := 42 },
+some { range := { pos := { line := 191, column := 42 },
              charUtf16 := 42,
-             endPos := { line := 183, column := 31 },
+             endPos := { line := 197, column := 31 },
              endCharUtf16 := 31 },
-  selectionRange := { pos := { line := 177, column := 46 },
+  selectionRange := { pos := { line := 191, column := 46 },
                       charUtf16 := 46,
-                      endPos := { line := 177, column := 58 },
+                      endPos := { line := 191, column := 58 },
                       endCharUtf16 := 58 } }