diff --git a/main.jl b/main.jl index bab0761..d1cf783 100644 --- a/main.jl +++ b/main.jl @@ -27,7 +27,7 @@ function Settings(Gr::PropertyTGroup, args, solver) S = PropertyTGroups.generatingset(Gr) sol = solver - ub = get(args,"upper_bound", Inf) + ub = get(args,"upper-bound", Inf) tol = get(args,"tol", 1e-10) ws = get(args, "warmstart", false)