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

fix(shell/lean): add missing colon to 'A' option

Browse source
This commit is contained in:
Gabriel Ebner 2016-12-05 15:41:07 -05:00 • committed by Leonardo de Moura
parent f96d35dc1c
commit 6bfbb79d6e
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/shell/lean.cpp
View file

@ -136,7 +136,7 @@ static struct option g_long_options[] = {
};
static char const * g_opt_str =
"PdD:qpgvht:012E:AB:j:012rM:012"
"PdD:qpgvht:012E:A:B:j:012rM:012"
#if defined(LEAN_MULTI_THREAD)
"s:012"
#endif