We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
2 parents bd5157d + 9b30a30 commit ff180a5Copy full SHA for ff180a5
regression/cbmc-with-incr/Struct_Bytewise1/struct_bytewise.c
@@ -3,7 +3,7 @@
3
4
#if !defined(__LITTLE_ENDIAN__) && !defined(__BIG_ENDIAN__)
5
6
-#if defined(__avr32__) || defined(__hppa__) || defined(__mk68k__) || \
+#if defined(__avr32__) || defined(__hppa__) || defined(__m68k__) || \
7
defined(__mips__) || defined(__powerpc__) || defined(__s390__) || \
8
defined(__s390x__) || defined(__sparc__)
9
regression/cbmc/Struct_Bytewise1/struct_bytewise.c
0 commit comments