1 files changed, 15 insertions, 11 deletions
diff --git a/src/pre_parser.mly b/src/pre_parser.mly
index fe59603f..e9c38ebd 100644
--- a/src/pre_parser.mly
+++ b/src/pre_parser.mly
@@ -64,25 +64,29 @@ id:
   | Id
     { $1 }
 
-scan:
+id_found:
   | Typedef id
     { $2 }
-  | Scattered Typedef id
-    { $3 }
-  | id scan
-    { $2 }
-  | Other scan
-    { $2 }
+
+skip:
+  | Scattered
+    { () }
+  | id
+    { () }
+  | Other
+    { () }
 
 scan_file:
-  | scan
+  | id_found
     { [$1] }
-  | scan scan_file
+  | skip
+    { [] }
+  | id_found scan_file
     { $1::$2 }
+  | skip scan_file
+    { $2 }
 
 file:
   | scan_file Eof
     { $1 }
-  | Other Eof
-    { [] }