From fbdff974fe7d2040c25dee1d35781f7e70d87d6c Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Mon, 29 Apr 2013 07:51:00 +0000
Subject: Revert suppression of __builtin_{read,write}_reversed for x86 and
 ARM, for compatibility with earlier CompCert versions. But don't use them in
 PackedStructs.

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2216 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 cparser/Machine.mli | 1 +
 1 file changed, 1 insertion(+)

(limited to 'cparser/Machine.mli')

diff --git a/cparser/Machine.mli b/cparser/Machine.mli
index 3becce3..b621d4c 100644
--- a/cparser/Machine.mli
+++ b/cparser/Machine.mli
@@ -16,6 +16,7 @@
 (* Machine-dependent aspects *)
 
 type t = {
+  name: string;
   char_signed: bool;
   sizeof_ptr: int;
   sizeof_short: int;
-- 
cgit v1.2.3