diff options
| author | Son Ho | 2022-01-26 23:48:37 +0100 |
|---|---|---|
| committer | Son Ho | 2022-01-26 23:48:37 +0100 |
| commit | 616b46cedb92537f0df711da3f2615a23bbaaa5c (patch) | |
| tree | 4688e277dc56f6802606e5a2d2c5cba456071662 /src/Collections.ml | |
| parent | 8e7071145b9f0deef99bb794af3629435a1b5fce (diff) | |
Fix a small issue in end_abstraction_loans: the loan_content case was
not implemented
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions