From 52fee346200228d8fa05f1708bb85233f12c7b81 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Fri, 8 Jul 2016 23:13:24 +0200
Subject: Fixing the printing of unknown locations by adding a newline.

---
 lib/pp.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib/pp.ml')

diff --git a/lib/pp.ml b/lib/pp.ml
index f1eb4c0598..7f4bc149dc 100644
--- a/lib/pp.ml
+++ b/lib/pp.ml
@@ -204,7 +204,7 @@ let pr_loc_pos loc =
     int (fst loc) ++ str"-" ++ int (snd loc)
 
 let pr_loc loc =
-  if Loc.is_ghost loc then str"<unknown>"
+  if Loc.is_ghost loc then str"<unknown>" ++ fnl ()
   else
     let fname = loc.Loc.fname in
     if CString.equal fname "" then
-- 
cgit v1.2.3