void
help()
{
- btor <<
+ mtor <<
"--be-blonde, -b use exact, blonde durations, e.g.: a[385]\n"
"--debug, -d be really verbose\n"
"--help, -h this help\n"
void
identify()
{
- mtor << version_str() << endl;
+ mtor << mi2mu_version_str() << endl;
}
void