Skip to content

Commit

Permalink
Merge pull request #86 from conr2d/fix/default_wasm_runtime_str
Browse files Browse the repository at this point in the history
Fix incorrect default option name for wasm-runtime
  • Loading branch information
kimjh2005 authored Oct 28, 2020
2 parents e859acc + 56cf126 commit 144b2e2
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion application.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -471,7 +471,8 @@ void application::print_default_config(std::ostream& os) {
os << "# " << od->long_name() << " = " << (boost::any_cast<bool&>(store) ? "true" : "false") << std::endl;
else {
// The string is formatted "arg (=<interesting part>)"
example.erase(0, 6);
auto pos = example.find("(=");
if(pos != string::npos) example = example.substr(pos+2);
if(!example.empty()) example.erase(example.length()-1);
os << "# " << od->long_name() << " = " << example << std::endl;
}
Expand Down

0 comments on commit 144b2e2

Please sign in to comment.