diff options
Diffstat (limited to '')
| -rw-r--r-- | src/Print.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Print.ml b/src/Print.ml index 69feeb6c..78a826bf 100644 --- a/src/Print.ml +++ b/src/Print.ml @@ -440,6 +440,7 @@ module Values = struct ^ "; " ^ typed_avalue_to_string fmt given_back_loans_proj ^ ")" + | AEndedSharedBorrow -> "@ended_shared_borrow" | AProjSharedBorrow sb -> "@ignored_shared_borrow(" ^ abstract_shared_borrows_to_string fmt sb |