summaryrefslogtreecommitdiff
path: root/tests/coq/misc/_CoqProject
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/coq/misc/_CoqProject
parent6dbe9e153043e5091a4d17da9bc7c3ed7d4093b1 (diff)
Update the micro passes to inline deconstruction of tuples with one field
Diffstat (limited to 'tests/coq/misc/_CoqProject')
0 files changed, 0 insertions, 0 deletions