summaryrefslogtreecommitdiff
path: root/tests/fstar
diff options
context:
space:
mode:
authorSon Ho2023-11-24 17:30:56 +0100
committerSon Ho2023-11-24 17:30:56 +0100
commit3fb8105afe1d43beb326906f124d7e0e7cefe7bc (patch)
tree33f0334649337920b271f3984cb78a7739c3421c /tests/fstar
parent4d5d2a8628cfb002267be9a13982aa4ef24a2651 (diff)
Update a comment
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions