From aec79fc731dd8d14837ee4beaa279394d58504a8 Mon Sep 17 00:00:00 2001
From: Werner Koch <wk@gnupg.org>
Date: Tue, 11 Nov 2008 08:22:06 +0000
Subject: Minor cleanups.

---
 tools/clean-sat.c | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'tools/clean-sat.c')

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;
-- 
cgit v1.2.3