summaryrefslogtreecommitdiff
path: root/tests/lean/External
diff options
context:
space:
mode:
authorSon Ho2024-01-25 11:54:31 +0100
committerSon Ho2024-01-25 11:54:31 +0100
commitd89cbfdc3f972e1ff4c7c9dd723146556d26526d (patch)
treed948f1104170d7254e8802eb7bf2b77a4386d3b3 /tests/lean/External
parentda9a2fb410bde569fea11a4c1507f98ab4250e41 (diff)
Update a decreases clause
Diffstat (limited to 'tests/lean/External')
0 files changed, 0 insertions, 0 deletions