diff options
Diffstat (limited to 'byterun/parsing.c')
| -rw-r--r-- | byterun/parsing.c | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/byterun/parsing.c b/byterun/parsing.c index 3d5ea8332..3c1ced7d1 100644 --- a/byterun/parsing.c +++ b/byterun/parsing.c @@ -11,8 +11,6 @@ /* */ /***********************************************************************/ -/* $Id$ */ - /* The PDA automaton for parsers generated by camlyacc */ #include <stdio.h> |