From 8e59c08157005645e88225293bac016894e5f4e7 Mon Sep 17 00:00:00 2001 From: wintered Date: Fri, 7 May 2021 11:33:13 +0200 Subject: [PATCH] addressing #16 --- src/args.py | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/src/args.py b/src/args.py index b90c569..afdd37e 100644 --- a/src/args.py +++ b/src/args.py @@ -110,9 +110,8 @@ # Parse CLI if args.SOLVER_CLIS == "": - # if len(solvers) == 0: - # print("well") - # exit("Error: no solver specified. Either change the commandline or edit config/config.py.") + if len(solvers) == 0: + exit("Error: no solver specified. Either change the commandline or edit config/config.py.") args.SOLVER_CLIS = solvers else: args.SOLVER_CLIS = args.SOLVER_CLIS.split(";") + solvers