From 285d908c5dbd90bff7f03618c7a9e0fa5e287c94 Mon Sep 17 00:00:00 2001
From: jjourdan <jjourdan@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Fri, 23 May 2014 07:44:28 +0000
Subject: Empty declarations

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2502 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 cparser/pre_parser.mly | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'cparser/pre_parser.mly')

diff --git a/cparser/pre_parser.mly b/cparser/pre_parser.mly
index e53ccba..4755518 100644
--- a/cparser/pre_parser.mly
+++ b/cparser/pre_parser.mly
@@ -629,6 +629,8 @@ translation_unit_file:
 translation_unit:
 | external_declaration
 | translation_unit external_declaration
+| translation_unit SEMICOLON
+| SEMICOLON
     {}
 
 external_declaration:
-- 
cgit v1.2.3