diff options
Diffstat (limited to 'cparser/Machine.ml')
| -rw-r--r-- | cparser/Machine.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cparser/Machine.ml b/cparser/Machine.ml index 658cf0f4..ac34fa5f 100644 --- a/cparser/Machine.ml +++ b/cparser/Machine.ml @@ -254,7 +254,7 @@ let mppa_k1c = sizeof_wchar = 4; sizeof_size_t = 8; sizeof_ptrdiff_t = 8; - sizeof_intreg = 4; (* What is this for ? *) + sizeof_intreg = 8; (* What is this for ? *) alignof_ptr = 8; alignof_short = 2; alignof_int = 4; |