From 5ef5b93dbd7f68f56e0c56e4f75c0153bf904f92 Mon Sep 17 00:00:00 2001
From: kalmarek <kalmar@amu.edu.pl>
Date: Mon, 28 Jan 2019 17:03:24 +0100
Subject: [PATCH] fix info

---
 src/1712.07167.jl | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/src/1712.07167.jl b/src/1712.07167.jl
index c4d15ef..17eed15 100644
--- a/src/1712.07167.jl
+++ b/src/1712.07167.jl
@@ -120,7 +120,7 @@ function computeλandP(sett::Symmetrized, Δ::GroupRingElem;
     @info("Solver's status: $status")
     
     save(filename(sett, :warmstart), "warmstart", ws, "Ps", Ps, "λ", λ)
-    info("Reconstructing P...")
+    @info("Reconstructing P...")
     @time P = reconstruct(Ps, orbit_data)
 
     return λ, P
@@ -153,7 +153,7 @@ function distance_to_positive_cone(Δ::GroupRingElem, λ, Q; R::Int=2)
         return distance
     end
 
-    @info("------------------------------------------------------------")
+    @info("-"^76)
     @info("Checking in interval arithmetic...")
     λ = @interval(λ)
     @info("λ ∈ $λ")
@@ -175,7 +175,7 @@ function distance_to_positive_cone(Δ::GroupRingElem, λ, Q; R::Int=2)
     
     @info("Interval distance (to positive cone) ∈")
     @info("$(distance)")
-    @info("------------------------------------------------------------")
+    @info("-"^76)
 
     return distance.lo
 end
@@ -204,12 +204,12 @@ end
 function check_property_T(sett::Settings)
     fp = PropertyT.fullpath(sett)
     isdir(fp) || mkpath(fp)
-    @info("\#"^76)
-    @info("Running tests for $(sett.name):"
+    @info("="^76)
+    @info("Running tests for $(sett.name):")
     @info("Upper bound for λ: $(sett.upper_bound), on radius $(sett.radius).")
     @info("Solver is $(sett.solver)")
     @info("Warmstart: $(sett.warmstart)")
-    @info("\#"^76)
+    @info("="^76)
 
     if isfile(filename(sett,:Δ))
         # cached