From 523760dd2d7859c7c4eaccfbe998e790ec6f319f Mon Sep 17 00:00:00 2001 From: Mohamed Barakat Date: Wed, 6 May 2026 14:06:14 +0200 Subject: [PATCH] got rid of println in banner --- Project.toml | 2 +- src/CapAndHomalg.jl | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/Project.toml b/Project.toml index 73be577f..1a897dea 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 1a4527c2..9871f0bb 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