From 1c67cdbcea8d9554a05f7fa7d349438c97a8dfab Mon Sep 17 00:00:00 2001
From: kalmarek <kalmar@amu.edu.pl>
Date: Thu, 2 Nov 2017 13:45:27 +0100
Subject: [PATCH] remove timed_msg

---
 src/PropertyT.jl | 10 ----------
 1 file changed, 10 deletions(-)

diff --git a/src/PropertyT.jl b/src/PropertyT.jl
index 4e04287..cc117c2 100644
--- a/src/PropertyT.jl
+++ b/src/PropertyT.jl
@@ -121,16 +121,6 @@ function ΔandSDPconstraints{T<:GroupElem}(S::Vector{T}, Id::T; radius::Int=2)
     return Δ, sdp_constraints
 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₁ = exists(λ_fname)