fix(shell/lean): missing 'break'

This commit is contained in:
Leonardo de Moura 2015-04-27 14:23:01 -07:00
parent bdef7aaf40
commit 88023e9597

View file

@ -392,6 +392,7 @@ int main(int argc, char ** argv) {
case 'i':
index_name = optarg;
gen_index = true;
break;
case 'M':
lean::set_max_memory_megabyte(atoi(optarg));
opts = opts.update(lean::get_max_memory_opt_name(), atoi(optarg));