forked from Isabelle_DOF/Isabelle_DOF
Added missing space in warning message.
This commit is contained in:
parent
c6a6bd1195
commit
3a431c4f72
|
@ -280,7 +280,7 @@ object DofConverter {
|
||||||
println("DOF LaTeX converter warning(s):")
|
println("DOF LaTeX converter warning(s):")
|
||||||
println("=============================")
|
println("=============================")
|
||||||
println(" Empty LATeX files found, Isabelle build most likely failed!")
|
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) {
|
if (nonEmptyTexFiles.isEmpty) {
|
||||||
|
|
Loading…
Reference in New Issue