summaryrefslogtreecommitdiff
path: root/backends/lean/Base/UtilsBase.lean
diff options
context:
space:
mode:
authorSon Ho2023-12-22 19:16:55 +0100
committerSon Ho2023-12-22 19:16:55 +0100
commit20f743016400fadc5726203e3631d32b6244bd1b (patch)
tree683c042cafeaae1d7d7450d0c98ace9dfba325bd /backends/lean/Base/UtilsBase.lean
parent3688596f27a1ba461f48e88446b8812ec73f1a2f (diff)
Regenerate some of the NoNestedBorrows tests
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions