From 0f3313b290c4c9977191d17cb481c4554fa31edc Mon Sep 17 00:00:00 2001
From: kalmar <kalmar@amu.edu.pl>
Date: Mon, 5 Jun 2017 13:23:10 +0200
Subject: [PATCH] missing end

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

diff --git a/src/PropertyT.jl b/src/PropertyT.jl
index 55610ab..0443928 100644
--- a/src/PropertyT.jl
+++ b/src/PropertyT.jl
@@ -162,6 +162,7 @@ function check_property_T(name::String, generating_set::Function,
         Δ, sdp_constraints = ΔandSDPconstraints(name)
     else
         Δ, sdp_constraints = ΔandSDPconstraints(name, generating_set, radius)
+    end
 
     S = countnz(Δ.coeffs) - 1
     info(logger, "|S| = $S")