summaryrefslogtreecommitdiff
path: root/tests/hol4/misc-no_nested_borrows
diff options
context:
space:
mode:
authorSon Ho2023-07-26 12:37:17 +0200
committerSon Ho2023-07-26 12:37:17 +0200
commit81e991822879a942af34489b7a072f31739f28f6 (patch)
tree05f9891ff640c75d7dbfb8714e8dc9d99c092a62 /tests/hol4/misc-no_nested_borrows
parent032db82439d9b379b5435d8349c1ecf55eeb2875 (diff)
Update the syntax of the progress tactic
Diffstat (limited to 'tests/hol4/misc-no_nested_borrows')
0 files changed, 0 insertions, 0 deletions