From 7c55d7bdfa103c3d98c8f02153f96c6744da5c79 Mon Sep 17 00:00:00 2001
From: Freddie Akeroyd <freddie.akeroyd@stfc.ac.uk>
Date: Tue, 23 Feb 2021 01:00:28 +0000
Subject: [PATCH] Add missing space character

---
 src/StreamError.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/StreamError.cc b/src/StreamError.cc
index 253e28d..a52d161 100644
--- a/src/StreamError.cc
+++ b/src/StreamError.cc
@@ -122,7 +122,7 @@ void StreamVError(int line, const char* file, const char* fmt, va_list args)
         va_end(args2);
     }
 #endif
-    fprintf(stderr, "%s%s", ansiEscape(ANSI_RED_BOLD), timestamp);
+    fprintf(stderr, "%s%s ", ansiEscape(ANSI_RED_BOLD), timestamp);
     if (file)
     {
         fprintf(stderr, "%s line %d: ", file, line);