diff options
| author | Son Ho | 2023-12-07 12:23:57 +0100 |
|---|---|---|
| committer | Son Ho | 2023-12-07 12:23:57 +0100 |
| commit | 6dbe9e153043e5091a4d17da9bc7c3ed7d4093b1 (patch) | |
| tree | b007b79e82a7f0f46f047237c04f210d00e6ddef /tests/lean | |
| parent | 0209fee47a11b371d258fe02b8cc59b325de21d6 (diff) | |
Fix minor issues when extracting a structure with one field as a tuple
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions