diff options
| author | Son Ho | 2022-03-03 23:34:19 +0100 |
|---|---|---|
| committer | Son Ho | 2022-03-03 23:34:19 +0100 |
| commit | 985401f124ebd6a257b13bb2f5f01378cc5f0ce5 (patch) | |
| tree | b3f1cac111293f6baf5651a7a5ec5902e491b5cf /tests/hashmap/Primitives.fst | |
| parent | 85956db556c182f72e53ffcb91d32dd2e21d81f1 (diff) | |
Change the extension of the serialized files to .llbc
Diffstat (limited to 'tests/hashmap/Primitives.fst')
0 files changed, 0 insertions, 0 deletions