From a88b623c82f081b4c79cbaace4a8ed1cee05c9bd Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Tue, 17 Jan 2017 13:33:43 +0100
Subject: Added missing whitespace. Bug 19872

---
 cparser/Cerrors.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'cparser')

diff --git a/cparser/Cerrors.ml b/cparser/Cerrors.ml
index c8fc65db..cc6cc0f3 100644
--- a/cparser/Cerrors.ml
+++ b/cparser/Cerrors.ml
@@ -329,7 +329,7 @@ let crash exn =
       bc Version.version Version.buildnr Version.tag rsc;
     eprintf "Backtrace (please include this in your support request):\n%s"
       backtrace;
-    eprintf "%tUncaught exception:%s.\n\
+    eprintf "%tUncaught exception: %s.\n\
 \    Please report this problem to our support.\n\
 \    Error occurred in Build: %s, Tag: %s.\n%t"
       rc (Printexc.to_string exn) Version.buildnr Version.tag rsc;
-- 
cgit