diff --git a/src/PropertyT.jl b/src/PropertyT.jl
index eb3221f..d8615fb 100644
--- a/src/PropertyT.jl
+++ b/src/PropertyT.jl
@@ -147,11 +147,7 @@ function check_property_T(name::String, generating_set::Function,
         mkdir(name)
     end
 
-    add_handler(logger, DefaultHandler("./$name/full.log", DefaultFormatter("{date}| {msg}")), "full_log")
-    e = redirect_stderr(logger.handlers["full_log"].io)
-    info(logger, "Group:       $name")
-    info(logger, "Precision:   $tol")
-    info(logger, "Upper bound: $upper_bound")
+    setup_logging(name)
 
     Δ, sdp_constraints = ΔandSDPconstraints(name, generating_set, radius)