diff options
| author | Son Ho | 2021-11-30 18:31:33 +0100 |
|---|---|---|
| committer | Son Ho | 2021-11-30 18:31:33 +0100 |
| commit | 4597bcfdfd5a072dec76100fa5b9a0ef98e6d898 (patch) | |
| tree | 3271e8d20649437017dd282fa05da57ee974b058 /src/Print.ml | |
| parent | 29f73a907184c7e535264909b1a1d11700db21d9 (diff) | |
Debug box_free
Diffstat (limited to 'src/Print.ml')
| -rw-r--r-- | src/Print.ml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/Print.ml b/src/Print.ml index 3c5fd71c..8547d5cb 100644 --- a/src/Print.ml +++ b/src/Print.ml @@ -236,7 +236,7 @@ module Values = struct (fun (field, value) -> field ^ " = " ^ value ^ ";") field_values in - let field_values = String.concat "; " field_values in + let field_values = String.concat " " field_values in adt_ident ^ " { " ^ field_values ^ " }" else adt_ident | Tuple values -> @@ -718,7 +718,8 @@ module CfimAst = struct "core::ops::deref::DerefMut" ^ params ^ "::deref_mut" | A.BoxFree -> "alloc::alloc::box_free" ^ params) in - name_params ^ args + let dest = place_to_string fmt call.A.dest in + dest ^ " := move " ^ name_params ^ args | A.Panic -> "panic" | A.Return -> "return" | A.Break i -> "break " ^ string_of_int i |