diff options
| author | Son Ho | 2024-03-08 08:50:50 +0100 |
|---|---|---|
| committer | Son Ho | 2024-03-08 08:50:50 +0100 |
| commit | 46b126f4e0e86f14475bc310e150948434726dc7 (patch) | |
| tree | 47f1ee50bfbb29c9c1d74c492f2c817f2709d2e0 /tests/fstar/Makefile | |
| parent | f74647773d7dd21580fd938dd9b4e300719b0234 (diff) | |
Update the handling of notations like #u32 or #isize
Diffstat (limited to 'tests/fstar/Makefile')
0 files changed, 0 insertions, 0 deletions