diff options
Diffstat (limited to 'src/pre_parser.mly')
| -rw-r--r-- | src/pre_parser.mly | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/pre_parser.mly b/src/pre_parser.mly index 5d56738b..fe59603f 100644 --- a/src/pre_parser.mly +++ b/src/pre_parser.mly @@ -54,9 +54,9 @@ let r = fun x -> x (* Ulib.Text.of_latin1 *) %token Scattered Typedef Other Eof -%token <string> Id +%token <string> Id %start file -%type <list string> file +%type <string list> file %% @@ -83,4 +83,6 @@ scan_file: file: | scan_file Eof { $1 } + | Other Eof + { [] } |