From 5c36eccc7bce595dff42dcdf9e0514fe8ae51c1b Mon Sep 17 00:00:00 2001
From: kalmar <kalmar@amu.edu.pl>
Date: Fri, 31 Mar 2017 16:12:00 +0200
Subject: [PATCH] cosmetics

---
 src/PropertyT.jl | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/PropertyT.jl b/src/PropertyT.jl
index 8f5b592..15898ca 100644
--- a/src/PropertyT.jl
+++ b/src/PropertyT.jl
@@ -169,9 +169,10 @@ function check_property_T(name::String, generating_set::Function,
         spectral_gap = check_distance_to_positive_cone(Δ, κ, A, tol=tol, rational=false)
         if spectral_gap > 0
             Kazhdan_κ = sqrt(2*spectral_gap/S)
-            Kazhdan_κ = Float64(trunc(Kazhdan_κ,12))
+            Kazhdan_κ = Float64(trunc(Kazhdan_κ, 12))
             info(logger, "κ($name, S) ≥ $Kazhdan_κ: Group HAS property (T)!")
         else
+            spectral_gap = Float64(trunc(spectral_gap, 12))
             info(logger, "λ($name, S) ≥ $spectral_gap: Group may NOT HAVE property (T)!")
         end
     else