From 4a04aec7e5ef23137c7dfbf5e655e183582c9769 Mon Sep 17 00:00:00 2001
From: Thomas Bauereiss
Date: Sat, 28 Mar 2020 13:41:42 +0000
Subject: Allow empty Sail source files

... instead of dying with "Syntax error".
---
 src/parser.mly | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/parser.mly')

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 []) }
-- 
cgit v1.2.3