Skip to content

Commit 10d6232

Browse files
authored
chore: remove test for #10766 (#10804)
the tested situation (kernel runs into deep recursion but elaborator is happy) is not very stable and depends on, for example, stack size. This test is not worth that hassle.
1 parent 5b35d61 commit 10d6232

File tree

1 file changed

+0
-39
lines changed

1 file changed

+0
-39
lines changed

tests/lean/run/issue10766.lean

Lines changed: 0 additions & 39 deletions
This file was deleted.

0 commit comments

Comments
 (0)