From 0abd194f6625cd63b5ae02de653d49f6e898696f Mon Sep 17 00:00:00 2001
From: Xianda Sun <sunxdt@gmail.com>
Date: Mon, 26 Feb 2024 16:57:38 +0000
Subject: [PATCH] apply suggestion by @devmotion

---
 src/sample.jl | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/sample.jl b/src/sample.jl
index 09868a5a..175ec8df 100644
--- a/src/sample.jl
+++ b/src/sample.jl
@@ -6,8 +6,8 @@ const PROGRESS = Ref(true)
 
 Enable progress logging globally if `progress` is `true`, and disable it otherwise.
 """
-function setprogress!(progress::Bool; verbose::Bool=true)
-    if verbose
+function setprogress!(progress::Bool; silent::Bool=false)
+    if !silent
         @info "progress logging is $(progress ? "enabled" : "disabled") globally"
     end
     PROGRESS[] = progress