From 220d2302bdba4a50eefbd0e41bb30c2299f29700 Mon Sep 17 00:00:00 2001
From: kalmar <kalmar@amu.edu.pl>
Date: Thu, 16 Mar 2017 18:20:09 +0100
Subject: [PATCH] fix true_kappa -> Kazhdan_\kappa

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

diff --git a/src/PropertyT.jl b/src/PropertyT.jl
index 559b0a1..04c77b3 100644
--- a/src/PropertyT.jl
+++ b/src/PropertyT.jl
@@ -144,7 +144,7 @@ function check_property_T(name::String, ID, generate_B₄::Function,
         spectral_gap = check_distance_to_positive_cone(Δ, κ, A, tol=tol, rational=false)
         Kazhdan_κ = sqrt(2*spectral_gap/S)
         Kazhdan_κ = Float64(trunc(Kazhdan_κ,12))
-        if true_kappa > 0
+        if Kazhdan_κ > 0
             info(logger, "κ($name, S) ≥ $Kazhdan_κ: Group HAS property (T)!")
         else
             info(logger, "κ($name, S) ≥ $Kazhdan_κ: Group may NOT HAVE property (T)!")