diff options
| author | Son Ho | 2024-06-17 07:15:26 +0200 |
|---|---|---|
| committer | Son Ho | 2024-06-17 07:15:26 +0200 |
| commit | 1021cdea98043dd935dbc8dbe633b90fda68047d (patch) | |
| tree | dc2f420cf5167690da9dfebe358ba56bf05e1b1e /tests/src/mutually-recursive-traits.lean.out | |
| parent | f4739fba4be95818ca01776837c8d610e443a45b (diff) | |
Update the tests
Diffstat (limited to 'tests/src/mutually-recursive-traits.lean.out')
0 files changed, 0 insertions, 0 deletions