diff options
Diffstat (limited to 'src/InterpreterUtils.ml')
| -rw-r--r-- | src/InterpreterUtils.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/InterpreterUtils.ml b/src/InterpreterUtils.ml index 9b272db8..65502126 100644 --- a/src/InterpreterUtils.ml +++ b/src/InterpreterUtils.ml @@ -226,6 +226,7 @@ let bottom_in_avalue (ended_regions : T.RegionId.set_t) (v : V.typed_avalue) : match ap with | V.AProjLoans _sv -> () | V.AProjBorrows (_sv, _rty) -> () + | V.AEndedProjLoans | V.AEndedProjBorrows -> () end in (* We use exceptions *) |