diff options
| author | Son Ho | 2022-04-27 15:55:36 +0200 |
|---|---|---|
| committer | Son Ho | 2022-04-27 15:55:36 +0200 |
| commit | 122dc6bfe7075fef7389c716ba2cc1aa7ed2fe02 (patch) | |
| tree | 0881183f365a63e3f54afd15ae2ba5b176fe6012 /tests/misc/Primitives.fst | |
| parent | 018278ff418da62d1391c5f500def96890602f5a (diff) | |
Fix a minor issue
Diffstat (limited to 'tests/misc/Primitives.fst')
0 files changed, 0 insertions, 0 deletions