summaryrefslogtreecommitdiff
path: root/tests/fstar/betree/Makefile
diff options
context:
space:
mode:
authorSon Ho2023-11-21 13:55:46 +0100
committerSon Ho2023-11-21 13:55:46 +0100
commite94cd72ffa63dbc5fc40c7c1a422c1a70ba4a7e5 (patch)
tree922f6bbd6d3bdc6af2f1d351dd3d4104861cfc5c /tests/fstar/betree/Makefile
parentf852e1a1334b7506c0baf366b9e75cd01b9c843e (diff)
Add an `is_local` field to declarations
Diffstat (limited to 'tests/fstar/betree/Makefile')
0 files changed, 0 insertions, 0 deletions