Commit 8aa65c41 authored by Anthony Chang's avatar Anthony Chang
Browse files

early return when cmd arg doesn't match

parent a3cba42b
......@@ -121,6 +121,7 @@ int main(int argc, char* argv[])
{
std::cerr << "arg1: verification (0=no, 1=yes)" << std::endl
<< "arg2: time kernel (0=no, 1=yes)" << std::endl;
return 0;
}
for(auto& p : problems)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment