From 7b06dc1eb279ecb99b5dbf44a3ca9622cbd6d98f Mon Sep 17 00:00:00 2001
From: kalmarek <kalmar@amu.edu.pl>
Date: Mon, 17 Sep 2018 00:22:35 +0200
Subject: [PATCH] fix upper-bound in Settings

---
 main.jl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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)