Update test (post stage0?)

nomeata · nomeata · commit 7c089c6d4333 · 2025-12-09T16:58:13.000Z
diff --git a/tests/lean/librarySearch.lean.expected.out b/tests/lean/librarySearch.lean.expected.out
@@ -1,3 +1,2 @@
-librarySearch.lean:270:0-270:7: warning: declaration uses 'sorry'
 librarySearch.lean:375:0-375:7: warning: declaration uses 'sorry'
 librarySearch.lean:385:0-385:7: warning: declaration uses 'sorry'

Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,2 @@`
`1`		`-librarySearch.lean:270:0-270:7: warning: declaration uses 'sorry'`
`2`	`1`	`librarySearch.lean:375:0-375:7: warning: declaration uses 'sorry'`
`3`	`2`	`librarySearch.lean:385:0-385:7: warning: declaration uses 'sorry'`