diff options
author | Son HO | 2024-04-11 10:54:12 +0200 |
---|---|---|
committer | GitHub | 2024-04-11 10:54:12 +0200 |
commit | c63284e3f9d7723b24f2d226355747e91ebb06aa (patch) | |
tree | e68d5f36fee075e09f96d9692e8072ec5c904192 /tests/fstar/misc/Primitives.fst | |
parent | 143a68b2c43c4302abbbd39c28cac3f9c5f52f4a (diff) |
Update a comment
Diffstat (limited to 'tests/fstar/misc/Primitives.fst')
0 files changed, 0 insertions, 0 deletions