summaryrefslogtreecommitdiff
path: root/src/ExtractToFStar.ml
diff options
context:
space:
mode:
authorSon Ho2022-02-12 13:39:46 +0100
committerSon Ho2022-02-12 13:39:46 +0100
commit6178370622912fc6f1f0f06f33bc01dc843ba2bf (patch)
tree1e92d45132c425cf62dec6b2fdb425f2bb92cdab /src/ExtractToFStar.ml
parentf0956a7491b4b004978cba8d25d979843b6e2e0f (diff)
Remove an admit
Diffstat (limited to 'src/ExtractToFStar.ml')
0 files changed, 0 insertions, 0 deletions