From 22d65c5931d702f6e2abde9b3b7d822b8d3c5560 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Tue, 18 Aug 2009 06:31:17 +0000
Subject: No '\n' in Coq strings...

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1129 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 driver/Driver.ml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'driver/Driver.ml')

diff --git a/driver/Driver.ml b/driver/Driver.ml
index 8361829f..30d4a6cc 100644
--- a/driver/Driver.ml
+++ b/driver/Driver.ml
@@ -39,7 +39,9 @@ let print_error oc msg =
   let print_one_error = function
   | Errors.MSG s -> output_string oc (Camlcoq.camlstring_of_coqstring s)
   | Errors.CTX i -> output_string oc (Camlcoq.extern_atom i)
-  in List.iter print_one_error msg
+  in
+    List.iter print_one_error msg;
+    output_char oc '\n'
 
 (* For the CIL -> Csyntax translator:
 
-- 
cgit