diff options
| author | Thomas Bauereiss | 2020-03-28 13:41:42 +0000 |
|---|---|---|
| committer | Thomas Bauereiss | 2020-04-10 13:22:11 +0100 |
| commit | 4a04aec7e5ef23137c7dfbf5e655e183582c9769 (patch) | |
| tree | 2bf2789f8631b2715ffab7165d3a51779f7f4713 | |
| parent | 7bf9b460d3b2c324b4fae8e14e0a54e354002f54 (diff) | |
Allow empty Sail source files
... instead of dying with "Syntax error".
| -rw-r--r-- | src/parser.mly | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/parser.mly b/src/parser.mly index 6a579b7a..70f6f225 100644 --- a/src/parser.mly +++ b/src/parser.mly @@ -1493,3 +1493,5 @@ defs: file: | defs Eof { $1 } + | Eof + { (Defs []) } |