diff options
Diffstat (limited to '')
-rw-r--r-- | src/Invariants.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Invariants.ml b/src/Invariants.ml index b16e71d0..6ebd3375 100644 --- a/src/Invariants.ml +++ b/src/Invariants.ml @@ -602,7 +602,7 @@ let check_typing_invariant (ctx : C.eval_ctx) : unit = * otherwise they should have been reduced to `_` *) let abs = Option.get info in assert (ty_has_regions_in_set abs.regions sv.V.sv_ty) - | V.AEndedProjLoans given_back_ls -> + | V.AEndedProjLoans (_msv, given_back_ls) -> List.iter (fun (_, proj) -> match proj with |