diff --git a/Project.toml b/Project.toml index 73be577..1a897de 100644 --- a/Project.toml +++ b/Project.toml @@ -1,7 +1,7 @@ name = "CapAndHomalg" uuid = "c4774649-1891-41ea-a883-87141804c57c" authors = ["Mohamed Barakat "] -version = "1.6.9" +version = "1.6.10" [deps] GAP = "c863536a-3901-11e9-33e7-d5cd0df7b904" diff --git a/src/CapAndHomalg.jl b/src/CapAndHomalg.jl index 1a4527c..9871f0b 100644 --- a/src/CapAndHomalg.jl +++ b/src/CapAndHomalg.jl @@ -210,8 +210,8 @@ function __init__() if show_banner print("CapAndHomalg v") printstyled("$version\n", color = :green) - println("Imported OSCAR's components GAP and Singular_jll") - println("Type: ?CapAndHomalg for more information") + print("Imported OSCAR's components GAP and Singular_jll\n") + print("Type: ?CapAndHomalg for more information\n") end end