diff options
Diffstat (limited to 'compiler/ValuesUtils.ml')
| -rw-r--r-- | compiler/ValuesUtils.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/compiler/ValuesUtils.ml b/compiler/ValuesUtils.ml index 0e1714a8..524f86a4 100644 --- a/compiler/ValuesUtils.ml +++ b/compiler/ValuesUtils.ml @@ -46,12 +46,12 @@ let borrows_in_value (v : typed_value) : bool = false with Found -> true -(** Check if a value contains inactivated mutable borrows *) -let inactivated_in_value (v : typed_value) : bool = +(** Check if a value contains reserved mutable borrows *) +let reserved_in_value (v : typed_value) : bool = let obj = object inherit [_] iter_typed_value - method! visit_InactivatedMutBorrow _env _ = raise Found + method! visit_ReservedMutBorrow _env _ = raise Found end in (* We use exceptions *) |