From 43ae2d3dabe5a44e997b1fedcf89ec612ab8aa85 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Mon, 29 Nov 2021 21:59:54 +0100
Subject: Make minor modifications for pretty-printing

---
 src/Print.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
 
-- 
cgit v1.2.3