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/GCC.ml | 5 -----
 1 file changed, 5 deletions(-)

(limited to 'cparser/GCC.ml')

diff --git a/cparser/GCC.ml b/cparser/GCC.ml
index 17b718b4..1bcbbbc8 100644
--- a/cparser/GCC.ml
+++ b/cparser/GCC.ml
@@ -201,11 +201,6 @@ let builtins = {
   "__builtin_strncpy",  (charPtrType, [ charPtrType; charConstPtrType; sizeType ], false);
   "__builtin_strspn",  (intType, [ charConstPtrType; charConstPtrType ], false);
   "__builtin_strpbrk",  (charPtrType, [ charConstPtrType; charConstPtrType ], false);
-  (* When we parse builtin_types_compatible_p, we change its interface *)
-  "__builtin_types_compatible_p", 
-                              (intType, [ uintType; (* Sizeof the type *)
-                                          uintType  (* Sizeof the type *) ],
-                               false);
   "__builtin_tan",  (doubleType, [ doubleType ], false);
   "__builtin_tanf",  (floatType, [ floatType ], false);
   "__builtin_tanl",  (longDoubleType, [ longDoubleType ], false);
-- 
cgit