From 73c9e655589bf3d4e9c6d12891b5fab44cda65eb Mon Sep 17 00:00:00 2001
From: kalmar <kalmar@amu.edu.pl>
Date: Mon, 5 Jun 2017 17:29:22 +0200
Subject: [PATCH] cosmetic

---
 src/PropertyT.jl     | 1 -
 src/checksolution.jl | 1 +
 2 files changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/PropertyT.jl b/src/PropertyT.jl
index e5b8fd3..f4ab032 100644
--- a/src/PropertyT.jl
+++ b/src/PropertyT.jl
@@ -4,7 +4,6 @@ using JLD
 using GroupRings
 using Memento
 
-
 using Groups
 import Nemo: Group, GroupElem
 
diff --git a/src/checksolution.jl b/src/checksolution.jl
index 85213de..2db075e 100644
--- a/src/checksolution.jl
+++ b/src/checksolution.jl
@@ -130,6 +130,7 @@ function check_distance_to_positive_cone(Δ::GroupRingElem, λ, P;
         return fp_distance
     end
 
+    info(logger, "")
     info(logger, "Projecting columns of rationalized Q to the augmentation ideal...")
     δ = eps(λ)
     Q_ℚ = ℚ(Q, δ)