diff options
| author | Son HO | 2024-05-28 18:50:52 +0200 |
|---|---|---|
| committer | GitHub | 2024-05-28 18:50:52 +0200 |
| commit | 95cb0eee7f9af0a0fd0d24a2531b5395b98b861f (patch) | |
| tree | 4f8cea8688c85603ca250afa0b581aa4b96289ee /tests/lean/misc/MutuallyRecursiveTraits.lean | |
| parent | ef7792c106a1f33397c206fcb5124b5ddfe64378 (diff) | |
| parent | ae075db15638ee8878bebe3d31affb1aa320e90f (diff) | |
Merge pull request #219 from AeneasVerif/son/infinite
Fix the infinite loop test
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions