From 3a431c4f728490ae333893d6e9c07a85a6da270e Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Sat, 19 May 2018 22:14:04 +0100
Subject: [PATCH] Added missing space in warning message.

---
 .../scala/com/logicalhacking/dof/converter/DofConverter.scala   | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/document-generator/converter/src/main/scala/com/logicalhacking/dof/converter/DofConverter.scala b/document-generator/converter/src/main/scala/com/logicalhacking/dof/converter/DofConverter.scala
index f0799c53..b4394b49 100644
--- a/document-generator/converter/src/main/scala/com/logicalhacking/dof/converter/DofConverter.scala
+++ b/document-generator/converter/src/main/scala/com/logicalhacking/dof/converter/DofConverter.scala
@@ -280,7 +280,7 @@ object DofConverter {
       println("DOF LaTeX converter warning(s):")
       println("=============================")
       println("  Empty LATeX files found, Isabelle build most likely failed!")
-      emptyTexFiles.map { case (file:File) => println("    "+ file + "is empty") }
+      emptyTexFiles.map { case (file:File) => println("    "+ file + " is empty") }
     }
 
     if (nonEmptyTexFiles.isEmpty) {