diff options
| author | Gabriel Kerneis | 2014-05-15 14:27:44 +0100 |
|---|---|---|
| committer | Gabriel Kerneis | 2014-05-15 14:27:44 +0100 |
| commit | a9c698e1764d51418478ef83d02a2bfdea789d12 (patch) | |
| tree | 085c520f6d915659ca70ec2bea07c34e95d3c7a2 /src/pretty_print.ml | |
| parent | 4f2783c25141accdeb2afc26cc5a3657f705e7d8 (diff) | |
Missing space for function clauses
Diffstat (limited to 'src/pretty_print.ml')
| -rw-r--r-- | src/pretty_print.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/pretty_print.ml b/src/pretty_print.ml index d10a124b..4db02af8 100644 --- a/src/pretty_print.ml +++ b/src/pretty_print.ml @@ -1250,7 +1250,7 @@ let doc_fundef (FD_aux(FD_function(r, typa, efa, fcls),_)) = let header = string "function" ^/^ doc_rec r ^^ doc_tannot_opt typa ^/^ doc_effects_opt efa in - let sep = hardline ^^ string "and" in + let sep = hardline ^^ string "and" ^^ space in surround 2 1 header (separate_map sep doc_funcl fcls) empty let doc_dec (DEC_aux(DEC_reg(typ,id),_)) = |