From d62d5c4b33d01a4442b3549c4cf85c83e04139f7 Mon Sep 17 00:00:00 2001
From: Akim Demaille <akim.demaille@gmail.com>
Date: Sat, 11 May 2019 09:19:16 +0200
Subject: [PATCH] style: remove incorrect comment

* src/getargs.c: here.
It's documented in getargs.h anyway.
---
 src/getargs.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/getargs.c b/src/getargs.c
index 4fbc3d9c..53ae161a 100644
--- a/src/getargs.c
+++ b/src/getargs.c
@@ -45,7 +45,7 @@ bool no_lines_flag = false;
 bool token_table_flag = false;
 location yacc_loc = EMPTY_LOCATION_INIT;
 bool update_flag = false; /* for -u */
-bool color_debug = false; /* --style=debug. */
+bool color_debug = false;
 
 bool nondeterministic_parser = false;
 bool glr_parser = false;