max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

fix: register_unsigned_option registered a bool option

Browse source
This commit is contained in:
Sebastian Ullrich 2019-12-07 20:10:00 +01:00
parent 145639c45b
commit 3a2e63c040
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/util/option_declarations.cpp
View file

@ -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: