summaryrefslogtreecommitdiff
path: root/tests/coq/misc
diff options
context:
space:
mode:
authorSon Ho2023-10-25 11:40:47 +0200
committerSon Ho2023-10-25 11:40:47 +0200
commit4f507fa565a43b419af6ea7a641a353f62213b21 (patch)
tree1c7d4e22b12fd3b4f5c8fa26ccf93c9de8acf485 /tests/coq/misc
parentece74df70f12790bab7ecfe0c590c2c637e89801 (diff)
Remove the warning for loops
Diffstat (limited to 'tests/coq/misc')
0 files changed, 0 insertions, 0 deletions