diff options
| author | Son Ho | 2023-11-21 13:55:46 +0100 |
|---|---|---|
| committer | Son Ho | 2023-11-21 13:55:46 +0100 |
| commit | e94cd72ffa63dbc5fc40c7c1a422c1a70ba4a7e5 (patch) | |
| tree | 922f6bbd6d3bdc6af2f1d351dd3d4104861cfc5c /tests/fstar/betree/Makefile | |
| parent | f852e1a1334b7506c0baf366b9e75cd01b9c843e (diff) | |
Add an `is_local` field to declarations
Diffstat (limited to 'tests/fstar/betree/Makefile')
0 files changed, 0 insertions, 0 deletions