diff --git a/regression/cbmc-with-incr/Struct_Bytewise1/struct_bytewise.c b/regression/cbmc-with-incr/Struct_Bytewise1/struct_bytewise.c index 9acd8e1dfc9..b5482988e8a 100644 --- a/regression/cbmc-with-incr/Struct_Bytewise1/struct_bytewise.c +++ b/regression/cbmc-with-incr/Struct_Bytewise1/struct_bytewise.c @@ -3,7 +3,7 @@ #if !defined(__LITTLE_ENDIAN__) && !defined(__BIG_ENDIAN__) -#if defined(__avr32__) || defined(__hppa__) || defined(__mk68k__) || \ +#if defined(__avr32__) || defined(__hppa__) || defined(__m68k__) || \ defined(__mips__) || defined(__powerpc__) || defined(__s390__) || \ defined(__s390x__) || defined(__sparc__) diff --git a/regression/cbmc/Struct_Bytewise1/struct_bytewise.c b/regression/cbmc/Struct_Bytewise1/struct_bytewise.c index 9acd8e1dfc9..b5482988e8a 100644 --- a/regression/cbmc/Struct_Bytewise1/struct_bytewise.c +++ b/regression/cbmc/Struct_Bytewise1/struct_bytewise.c @@ -3,7 +3,7 @@ #if !defined(__LITTLE_ENDIAN__) && !defined(__BIG_ENDIAN__) -#if defined(__avr32__) || defined(__hppa__) || defined(__mk68k__) || \ +#if defined(__avr32__) || defined(__hppa__) || defined(__m68k__) || \ defined(__mips__) || defined(__powerpc__) || defined(__s390__) || \ defined(__s390x__) || defined(__sparc__)