diff options
| author | Son Ho | 2021-12-17 13:28:51 +0100 |
|---|---|---|
| committer | Son Ho | 2021-12-17 13:28:51 +0100 |
| commit | 2e1903b951b496dd3f0bde08d9b5d524659a3bac (patch) | |
| tree | 1e9933c5b979b021d6bb41dc0b9a5b4e31c9f555 /src/Print.ml | |
| parent | 4c498a62391624425b05b99197b40fd992626ed5 (diff) | |
Implement the avalue cases of give_back_value
Diffstat (limited to 'src/Print.ml')
| -rw-r--r-- | src/Print.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Print.ml b/src/Print.ml index e8471704..e9ba4730 100644 --- a/src/Print.ml +++ b/src/Print.ml @@ -361,7 +361,7 @@ module Values = struct ^ ")" | AEndedMutLoan ml -> "@ended_mut_loan{ given_back=" - ^ typed_value_to_string fmt ml.given_back + ^ typed_avalue_to_string fmt ml.given_back ^ "; child=" ^ typed_avalue_to_string fmt ml.child ^ " }" |