Fix missing newline from banner (#1647)

thofma · Oct 10, 2024 · bc98930 · bc98930
1 parent f170a5c
commit bc98930
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/Hecke.jl b/src/Hecke.jl
@@ -155,6 +155,7 @@ function _print_banner()
    | |  | |  __/ (__|   <  __/
    |_|  |_|\___|\___|_|\_\___|", color = :red)
   println()
+  println()
   print("Version")
   printstyled(" $VERSION_NUMBER ", color = :green)
   print("... \n ... which comes with absolutely no warranty whatsoever")