From 04ecbb4a53de9b5e69bf937dcbd7eb172d9dba55 Mon Sep 17 00:00:00 2001
From: kalmar <kalmar@amu.edu.pl>
Date: Mon, 5 Jun 2017 13:23:29 +0200
Subject: [PATCH] Generating set is an ordinary Vector

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

diff --git a/src/PropertyT.jl b/src/PropertyT.jl
index 0443928..f2326e2 100644
--- a/src/PropertyT.jl
+++ b/src/PropertyT.jl
@@ -149,7 +149,7 @@ function setup_logging(name::String)
 end
 
 
-function check_property_T(name::String, generating_set::Function,
+function check_property_T(name::String, generating_set,
     solver, upper_bound, tol, radius)
 
     if !isdir(name)