diff options
Diffstat (limited to 'tools/clean-sat.c')
| -rw-r--r-- | tools/clean-sat.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/clean-sat.c b/tools/clean-sat.c index 8b6bfd77a..4b44a7bcd 100644 --- a/tools/clean-sat.c +++ b/tools/clean-sat.c @@ -17,6 +17,8 @@ main(int argc, char **argv) { int c; + (void)argv; + if( argc > 1 ) { fprintf(stderr, "no arguments, please\n"); return 1; |