From 5acb926f535d1c6dfd05461c4685060e4b8ab96a Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Fri, 20 Sep 2019 09:01:03 +0200
Subject: [PATCH] [Parsing] Removes an old comment
---
src/kernel_internals/parsing/cparser.mly | 3 ---
1 file changed, 3 deletions(-)
diff --git a/src/kernel_internals/parsing/cparser.mly b/src/kernel_internals/parsing/cparser.mly
index 2b7b783666e..6524c6ee032 100644
--- a/src/kernel_internals/parsing/cparser.mly
+++ b/src/kernel_internals/parsing/cparser.mly
@@ -1029,9 +1029,6 @@ for_clause:
| declaration { FC_DECL $1 }
;
-/* 01/12/2017: ghost_parameter_opt and ghost_parameter are parsed
- then thrown
-*/
ghost_parameter_opt:
/* empty */ {[]}
| ghost_parameter {$1}
--
GitLab