summaryrefslogtreecommitdiff
path: root/tests/lean/External
diff options
context:
space:
mode:
authorSon Ho2023-12-22 11:09:10 +0100
committerSon Ho2023-12-22 11:09:10 +0100
commit774eb319e514a0ba02473f9c82ee9d3355de8a3d (patch)
tree3e003961c6c8e5ca3bb8ae06d526580c9b567587 /tests/lean/External
parent6dc2b0f0906adc5d6f8f2f48404cf21d3595c957 (diff)
Fix an issue when merging the fwd/back functions of trait methods
Diffstat (limited to 'tests/lean/External')
0 files changed, 0 insertions, 0 deletions