diff options
| author | Son Ho | 2022-11-06 17:17:14 +0100 |
|---|---|---|
| committer | Son HO | 2022-11-07 10:36:13 +0100 |
| commit | 511b483f3ba8247aaf90ab648d54b37a04c39929 (patch) | |
| tree | 4dd4d85c35615308b8313b08371fe364bd87a796 /compiler/fstar | |
| parent | 674c1ab7e65e32792238ac4cd2b210b6273232f3 (diff) | |
Remove the argument [end_borrows] from prepare_lplace and drop_outer_loans_at_lplace
Diffstat (limited to 'compiler/fstar')
0 files changed, 0 insertions, 0 deletions