From 51d29143b62ae9e17ddf11b5c19310e858f4ec1b Mon Sep 17 00:00:00 2001 From: kalmar Date: Fri, 17 Mar 2017 16:02:50 +0100 Subject: [PATCH] main returns 0 --- SL.jl | 1 + 1 file changed, 1 insertion(+) 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()