From a9c698e1764d51418478ef83d02a2bfdea789d12 Mon Sep 17 00:00:00 2001
From: Gabriel Kerneis
Date: Thu, 15 May 2014 14:27:44 +0100
Subject: Missing space for function clauses

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

(limited to 'src')

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),_)) =
-- 
cgit v1.2.3