From ba04aa4f34c93cdc2ef771ce3b950bfbd2dd075c Mon Sep 17 00:00:00 2001
From: kalmar <kalmar@amu.edu.pl>
Date: Mon, 5 Jun 2017 13:49:57 +0200
Subject: [PATCH] cosmetics

---
 src/PropertyT.jl | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/src/PropertyT.jl b/src/PropertyT.jl
index 1a3ebc3..7744b3b 100644
--- a/src/PropertyT.jl
+++ b/src/PropertyT.jl
@@ -171,11 +171,13 @@ function check_property_T(name::String, S, solver, upper_bound, tol, radius)
 
     info(logger, "|S| = $(length(S))")
     info(logger, "length(Δ) = $(length(Δ))")
-    info(logger, "|R(G)|.pm = $(size(parent(Δ).pm))")
+    info(logger, "|R[G]|.pm = $(size(parent(Δ).pm))")
 
-   if all(isfile.(λandP(name)))
+   if all(isfile.(λSDPfilenames(name)))
+      # cached
       λ, P = λandP(name)
    else
+      # compute
       info(logger, "Creating SDP problem...")
 
       t = @timed SDP_problem, λ, P = create_SDP_problem(Δ, sdp_constraints, upper_bound=upper_bound)