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

1 files changed, 1 insertions, 0 deletions

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;