diff options
| author | Son Ho | 2022-05-01 15:38:44 +0200 |
|---|---|---|
| committer | Son Ho | 2022-05-01 15:38:44 +0200 |
| commit | 2837ecd9ee1687679bf9afac03fd488b5afef5e3 (patch) | |
| tree | 8f721f3ec39a8e536006c502e5bb7dbf32c5e7a6 /tests/misc/NoNestedBorrows.fst | |
| parent | 5bc3184f7922e5b1c0855ea7c83dd1c3c0985904 (diff) | |
Rename "lvalue" to "pattern"
Diffstat (limited to 'tests/misc/NoNestedBorrows.fst')
0 files changed, 0 insertions, 0 deletions