summaryrefslogtreecommitdiff
path: root/tests/coq/arrays
diff options
context:
space:
mode:
authorSon Ho2024-04-04 11:00:23 +0200
committerSon Ho2024-04-04 11:00:23 +0200
commitf58161f23ccb4bff2080a7c63105d80777c33362 (patch)
tree9cfb108c57285b0a254b71fc49f7e8d8cc5cb0b9 /tests/coq/arrays
parenteae7ce912c8bae44f98e1d489aba5618c0029bd2 (diff)
Update a comment
Diffstat (limited to 'tests/coq/arrays')
0 files changed, 0 insertions, 0 deletions