Fixing the printing of unknown locations by adding a newline.

1 files changed, 1 insertions, 1 deletions

diff --git a/lib/pp.ml b/lib/pp.ml
index f1eb4c059..7f4bc149d 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