diff --git a/src/Hecke.jl b/src/Hecke.jl index e2564f0d9f..83e2518292 100644 --- 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")