summaryrefslogtreecommitdiff
path: root/tests/coq/misc/_CoqProject
diff options
context:
space:
mode:
authorSon Ho2023-12-07 12:23:57 +0100
committerSon Ho2023-12-07 12:23:57 +0100
commit6dbe9e153043e5091a4d17da9bc7c3ed7d4093b1 (patch)
treeb007b79e82a7f0f46f047237c04f210d00e6ddef /tests/coq/misc/_CoqProject
parent0209fee47a11b371d258fe02b8cc59b325de21d6 (diff)
Fix minor issues when extracting a structure with one field as a tuple
Diffstat (limited to 'tests/coq/misc/_CoqProject')
0 files changed, 0 insertions, 0 deletions