michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

feat(util/sexpr/option_declarations): add register_string_option

Browse source
This commit is contained in:
Leonardo de Moura 2015-12-05 16:53:16 -08:00
parent d7150f210c
commit b409720ac7
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/util/sexpr/option_declarations.h
View file

@ -40,4 +40,5 @@ void register_option(name const & n, option_kind k, char const * default_value,
#define register_bool_option(n, v, d) register_option(n, BoolOption, LEAN_STR(v), d)
#define register_unsigned_option(n, v, d) register_option(n, UnsignedOption, LEAN_STR(v), d)
#define register_double_option(n, v, d) register_option(n, DoubleOption, LEAN_STR(v), d)
#define register_string_option(n, v, d) register_option(n, StringOption, LEAN_STR(v), d)
}