summaryrefslogtreecommitdiff
path: root/tests/fstar
diff options
context:
space:
mode:
authorSon Ho2022-12-17 12:21:40 +0100
committerSon HO2023-02-03 11:21:46 +0100
commite92d5bc74fe735717bfd8ec65c70335831bf85da (patch)
tree2d9a038cdbc2a903323364daab6343db0102879f /tests/fstar
parent304490110509324a20c7c2c3be9bf61931fa3a1c (diff)
Make a minor cleanup in InterpreterLoops.ml
Diffstat (limited to 'tests/fstar')
0 files changed, 0 insertions, 0 deletions