From 18b66a4bd757eca95c227aca4d57d0b3d9ddf036 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 9 Feb 2018 14:20:07 -0800 Subject: [PATCH] fix parameter processing Signed-off-by: Nikolaj Bjorner --- src/shell/opt_frontend.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/shell/opt_frontend.cpp b/src/shell/opt_frontend.cpp index 1d5efdd82..caeff146c 100644 --- a/src/shell/opt_frontend.cpp +++ b/src/shell/opt_frontend.cpp @@ -104,7 +104,7 @@ static unsigned parse_opt(std::istream& in, opt_format f) { } try { cancel_eh eh(m.limit()); - unsigned timeout = std::stoi(gparams::get_value("timeout")); + unsigned timeout = std::stoul(gparams::get_value("timeout")); unsigned rlimit = std::stoi(gparams::get_value("rlimit")); scoped_timer timer(timeout, &eh); scoped_rlimit _rlimit(m.limit(), rlimit);