Commit cf62da40 authored by Robert Ricci's avatar Robert Ricci

Fix my last commit.

parent 42bca0e2
......@@ -747,7 +747,7 @@ int main(int argc,char **argv)
afile.close();
}
if (violated == 0) {
if (violated != 0) {
return 1;
} else {
return 0;
......
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