From a096ec648c96387804b561397c39420222ba64b0 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 13 Aug 2018 17:11:22 -0700 Subject: [PATCH] na Signed-off-by: Nikolaj Bjorner --- src/smt/theory_jobscheduler.cpp | 11 +++++------ 1 file changed, 5 insertions(+), 6 deletions(-) diff --git a/src/smt/theory_jobscheduler.cpp b/src/smt/theory_jobscheduler.cpp index 70c891b8d..c640c346a 100644 --- a/src/smt/theory_jobscheduler.cpp +++ b/src/smt/theory_jobscheduler.cpp @@ -197,13 +197,12 @@ namespace smt { else { unrecognized_argument(arg); } - if (!has_res) invalid_argument(":resource argument expected ", cmd); - if (!has_load) invalid_argument(":loadpct argument expected ", cmd); - if (!has_end) invalid_argument(":end argument expected ", cmd); - if (!has_start) invalid_argument(":start argument expected ", cmd); - add_resource_available(res, loadpct, start, end, ps); } - + if (!has_res) invalid_argument(":resource argument expected ", cmd); + if (!has_load) invalid_argument(":loadpct argument expected ", cmd); + if (!has_end) invalid_argument(":end argument expected ", cmd); + if (!has_start) invalid_argument(":start argument expected ", cmd); + add_resource_available(res, loadpct, start, end, ps); } else { invalid_argument("command not recognized ", cmd);