summaryrefslogtreecommitdiff
path: root/tests/fstar/betree/Makefile
diff options
context:
space:
mode:
authorSon Ho2023-11-21 14:43:12 +0100
committerSon Ho2023-11-21 14:43:12 +0100
commit77ba13b371cccbe8098e432ebd287108d5373666 (patch)
tree845bd9059f6fe94ce8c9e447104367d3a8e9d3c2 /tests/fstar/betree/Makefile
parente94cd72ffa63dbc5fc40c7c1a422c1a70ba4a7e5 (diff)
Add span information to the generated code
Diffstat (limited to 'tests/fstar/betree/Makefile')
0 files changed, 0 insertions, 0 deletions