diff options
| author | Son Ho | 2023-12-22 11:09:10 +0100 |
|---|---|---|
| committer | Son Ho | 2023-12-22 11:09:10 +0100 |
| commit | 774eb319e514a0ba02473f9c82ee9d3355de8a3d (patch) | |
| tree | 3e003961c6c8e5ca3bb8ae06d526580c9b567587 /tests/lean/lean-toolchain | |
| parent | 6dc2b0f0906adc5d6f8f2f48404cf21d3595c957 (diff) | |
Fix an issue when merging the fwd/back functions of trait methods
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions