diff options
Diffstat (limited to '')
| -rw-r--r-- | src/Print.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/Print.ml b/src/Print.ml index bc527acc..3869012a 100644 --- a/src/Print.ml +++ b/src/Print.ml @@ -315,6 +315,8 @@ module Values = struct ^ ")" | AProjBorrows (sv, rty) -> "proj_borrows (" ^ symbolic_value_proj_to_string fmt sv rty ^ ")" + | AEndedProjLoans -> "ended_proj_loans" + | AEndedProjBorrows -> "ended_proj_borrows" let rec typed_avalue_to_string (fmt : value_formatter) (v : V.typed_avalue) : string = |