summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
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