summaryrefslogtreecommitdiff
path: root/tests/lean/External
diff options
context:
space:
mode:
authorSon Ho2023-12-07 12:44:54 +0100
committerSon Ho2023-12-07 12:44:54 +0100
commitc17d8cbb7c32d2c2ce9d737fe5359cfbe7d4418c (patch)
tree21e924e94287dc5f018a8ae6457ef53344715f6b /tests/lean/External
parent6dbe9e153043e5091a4d17da9bc7c3ed7d4093b1 (diff)
Update the micro passes to inline deconstruction of tuples with one field
Diffstat (limited to 'tests/lean/External')
0 files changed, 0 insertions, 0 deletions