From: John Darrington <john@darrington.wattle.id.au>
Date: Sat, 6 Aug 2016 18:53:43 +0000 (+0200)
Subject: Fix compiler warning
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a3e77a1caf54727a9ff56b09dbcff80d4fcc80dd;p=pspp

Fix compiler warning
---

diff --git a/src/ui/terminal/terminal-opts.c b/src/ui/terminal/terminal-opts.c
index db81e6b7de..3362299ce5 100644
--- a/src/ui/terminal/terminal-opts.c
+++ b/src/ui/terminal/terminal-opts.c
@@ -145,7 +145,6 @@ get_supported_formats (void)
   struct string_set format_set;
   char *format_string;
   const char *format;
-  size_t i;
 
   /* Get supported formats as unordered set. */
   string_set_init (&format_set);