From f1d236b83003eda71e12840732d159fd23b1b771 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Tue, 29 Apr 2014 13:58:18 +0000
Subject: Integration of Jacques-Henri Jourdan's verified parser. (Merge of
 branch newparser.)

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2469 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 cparser/Cparser.mllib | 21 ---------------------
 1 file changed, 21 deletions(-)
 delete mode 100644 cparser/Cparser.mllib

(limited to 'cparser/Cparser.mllib')

diff --git a/cparser/Cparser.mllib b/cparser/Cparser.mllib
deleted file mode 100644
index c5dc5138..00000000
--- a/cparser/Cparser.mllib
+++ /dev/null
@@ -1,21 +0,0 @@
-Cerrors
-Cabs
-Cabshelper
-Parse_aux
-Parser
-Lexer
-Machine
-Env
-Cprint
-Cutil
-Ceval
-Cleanup
-Builtins
-Elab
-Rename
-Transform
-Unblock
-StructReturn
-Bitfields
-PackedStructs
-Parse
-- 
cgit