void BenchmarkUtils::print_help(char *string) { SESAME_ERROR("Usage: " << string << " [options]"); SESAME_ERROR(" Available options: "); }
void BenchmarkUtils::print_help(char *string) {
SESAME_ERROR("Usage: " << string << " [options]"); SESAME_ERROR(" Available options: ");
}