From 3a2e63c0403951f2e18afb5207d498df5ffed39e Mon Sep 17 00:00:00 2001 From: Sebastian Ullrich Date: Sat, 7 Dec 2019 20:10:00 +0100 Subject: [PATCH] fix: register_unsigned_option registered a bool option --- src/util/option_declarations.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/util/option_declarations.cpp b/src/util/option_declarations.cpp index 5f8e15f683..5f745a4923 100644 --- a/src/util/option_declarations.cpp +++ b/src/util/option_declarations.cpp @@ -38,7 +38,7 @@ data_value mk_data_value(data_value_kind k, char const * val) { case data_value_kind::Bool: return strcmp(val, "true") == 0 ? data_value(true) : data_value(false); case data_value_kind::Nat: - return data_value(atoi(val)); + return data_value(nat(atoi(val))); case data_value_kind::Name: return data_value(name(val)); default: