diff options
Diffstat (limited to 'cparser/Machine.ml')
| -rw-r--r-- | cparser/Machine.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/cparser/Machine.ml b/cparser/Machine.ml index 7d5a7f77..bd524cf8 100644 --- a/cparser/Machine.ml +++ b/cparser/Machine.ml @@ -225,7 +225,8 @@ let rv64 = struct_return_style = SR_ref } (* to check *) let mppa_k1c = - { ilp32ll64 with name = "k1c"; + { ilp32ll64 with sizeof_ptr = 8; + name = "k1c"; char_signed = true; supports_unaligned_accesses = true } |