Introduce AEndedSharedBorrow so as not to introduce ABottom when

ending shared aborrows

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