diff --git a/SL.jl b/SL.jl
index c00cd97..f1a20f0 100644
--- a/SL.jl
+++ b/SL.jl
@@ -214,6 +214,7 @@ function main()
         Blas.set_num_threads(parsed_args["cpus"])
     end
     @time PropertyT.check_property_T(name, ID(N,p), S, solver, upper_bound, tol)
+    return 0
 end
 
 main()