[Parsing] Removes an old comment

5acb926f · Allan Blanchard · Virgile Prevosto · bb5a3d41 · 5acb926f
Commit 5acb926f authored 5 years ago by Allan Blanchard Committed by Virgile Prevosto 5 years ago
--- 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}