diff options
Diffstat (limited to 'common/Memdataaux.ml')
-rw-r--r-- | common/Memdataaux.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/common/Memdataaux.ml b/common/Memdataaux.ml index 0ec7523b..8bfd4349 100644 --- a/common/Memdataaux.ml +++ b/common/Memdataaux.ml @@ -14,4 +14,5 @@ let big_endian = match Configuration.arch with | "powerpc" -> true | "arm" -> false + | "ia32" -> false | _ -> assert false |