Merge pull request #321 from glaubitz/master

kroening · web-flow · commit ff180a5083a7 · 2016-11-28T08:07:50.000Z
Fix typos in struct_bytewise (__mk68k__ -&gt; __m68k__)
diff --git 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
@@ -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__)
 
