From 6b20e37c74298ef5caa4b5874917af12781ec777 Mon Sep 17 00:00:00 2001
From: kalmar <kalmar@amu.edu.pl>
Date: Sun, 4 Jun 2017 20:34:12 +0200
Subject: [PATCH] move timed_msg

---
 src/PropertyT.jl | 18 +++++++++---------
 1 file changed, 9 insertions(+), 9 deletions(-)

diff --git a/src/PropertyT.jl b/src/PropertyT.jl
index c4d5e7c..5e92983 100644
--- a/src/PropertyT.jl
+++ b/src/PropertyT.jl
@@ -66,6 +66,15 @@ function ΔandSDPconstraints(name::String, generating_set::Function, radius::Int
     end
 end
 
+function timed_msg(t)
+    elapsed = t[2]
+    bytes_alloc = t[3]
+    gc_time = t[4]
+    gc_diff = t[5]
+
+    return "took: $elapsed s, allocated: $bytes_alloc bytes ($(gc_diff.poolalloc) allocations)."
+end
+
 function λandP(name::String)
     λ_fname, SDP_fname = λSDPfilenames(name)
     f₁ = isfile(λ_fname)
@@ -81,15 +90,6 @@ function λandP(name::String)
     return λ, P
 end
 
-function timed_msg(t)
-    elapsed = t[2]
-    bytes_alloc = t[3]
-    gc_time = t[4]
-    gc_diff = t[5]
-
-    return "took: $elapsed s, allocated: $bytes_alloc bytes ($(gc_diff.poolalloc) allocations)."
-end
-
 
 function λandP(name::String, opts...)
     try