summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorSon Ho2021-11-29 21:59:54 +0100
committerSon Ho2021-11-29 21:59:54 +0100
commit43ae2d3dabe5a44e997b1fedcf89ec612ab8aa85 (patch)
tree38beade6466aaef01890da7fe67cfe324f58bca8 /src
parentc8c318b7d4ccf7db32783e1e14b1c2a8d123c6b5 (diff)
Make minor modifications for pretty-printing
Diffstat (limited to 'src')
-rw-r--r--src/Print.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Print.ml b/src/Print.ml
index 90affd9f..57d9be0f 100644
--- a/src/Print.ml
+++ b/src/Print.ml
@@ -815,7 +815,7 @@ module CfimAst = struct
in
(* Put everything together *)
- indent ^ "fn " ^ name ^ params ^ "(" ^ args ^ ")" ^ ret_ty ^ "{\n" ^ locals
+ indent ^ "fn " ^ name ^ params ^ "(" ^ args ^ ")" ^ ret_ty ^ " {\n" ^ locals
^ "\n\n" ^ body ^ "\n" ^ indent ^ "}"
end