From b4200796aab1ec26288a1376c7dd99c0927b5ee9 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Thu, 8 May 2014 07:50:13 +0000
Subject: - Added alternate keywords __inline, __restrict, etc, for GCC
 compatibility - Skip comments that might remain after preprocessing

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2487 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 test/spass/misc.h | 2 --
 1 file changed, 2 deletions(-)

(limited to 'test')

diff --git a/test/spass/misc.h b/test/spass/misc.h
index 6f70a23..69d929d 100644
--- a/test/spass/misc.h
+++ b/test/spass/misc.h
@@ -48,8 +48,6 @@
 #ifndef _MISC_
 #define _MISC_
 
-#define __inline__ inline
-
 /**************************************************************/
 /* Includes                                                   */
 /**************************************************************/
-- 
cgit v1.2.3