From 441a23b293da55ce01bb7406ec2f78e0f59b3f1e Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Mon, 21 Jul 2014 17:50:47 +0200
Subject: Missing space in pretty-printer

---
 printing/prettyp.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/printing/prettyp.ml b/printing/prettyp.ml
index 67b3df35e0..03ad7889fa 100644
--- a/printing/prettyp.ml
+++ b/printing/prettyp.ml
@@ -375,7 +375,7 @@ let print_located_qualid name flags ref =
 	if DirPath.is_empty dir then
 	  str ("No " ^ name ^ " of basename") ++ spc () ++ pr_id id
 	else
-	  str ("No " ^ name ^ " of suffix") ++ pr_qualid qid
+	  str ("No " ^ name ^ " of suffix") ++ spc () ++ pr_qualid qid
     | l ->
 	prlist_with_sep fnl
 	(fun (o,oqid) ->
-- 
cgit v1.2.3