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