diff options
Diffstat (limited to '')
| -rw-r--r-- | src/PrintPure.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/PrintPure.ml b/src/PrintPure.ml index 5e9e110a..bf898424 100644 --- a/src/PrintPure.ml +++ b/src/PrintPure.ml @@ -437,4 +437,4 @@ let fun_def_to_string (fmt : ast_formatter) (def : fun_def) : string = if inputs = [] then "" else " fun " ^ String.concat " " inputs ^ " ->\n" in let body = expression_to_string fmt " " " " def.body in - "let " ^ name ^ " : " ^ signature ^ " =\n" ^ inputs ^ body + "let " ^ name ^ " :\n " ^ signature ^ " =\n" ^ inputs ^ body |