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)