summaryrefslogtreecommitdiff
path: root/tests/fstar/betree/Makefile
diff options
context:
space:
mode:
authorSon Ho2023-11-16 10:17:50 +0100
committerSon Ho2023-11-16 10:17:50 +0100
commit4972f21e4b25cc16e0839dc3d4a4a2d0552f872d (patch)
treee7497ae134a1039125bf351819b3de8abd5cbbbe /tests/fstar/betree/Makefile
parenta27efd1ed08bc9583752445d9eda7a693c0c7379 (diff)
Rename Driver.ml to Main.ml
Diffstat (limited to 'tests/fstar/betree/Makefile')
0 files changed, 0 insertions, 0 deletions