diff options
author | Michael Schmidt <github@mschmidt.me> | 2018-02-19 11:02:54 +0100 |
---|---|---|
committer | Michael Schmidt <github@mschmidt.me> | 2018-02-19 11:02:54 +0100 |
commit | 4472f312e3d5ef93d1b89b326727a10d34d918ce (patch) | |
tree | 8895723b3b725cd7d06b6d7df70df1de1c28b580 | |
parent | fcc5b32267d22de13553c0f5fc61ae60f0723a50 (diff) | |
download | compcert-4472f312e3d5ef93d1b89b326727a10d34d918ce.tar.gz compcert-4472f312e3d5ef93d1b89b326727a10d34d918ce.zip |
Struct return on OpenBSD now tested
-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 656c9eb0..4d1e7588 100644 --- a/cparser/Machine.ml +++ b/cparser/Machine.ml @@ -179,7 +179,7 @@ let x86_32_macosx = struct_return_style = SR_int1248 } let x86_32_bsd = - x86_32_macosx (* Struct Return needs to be checked *) + x86_32_macosx let x86_64 = { i32lpll64 with name = "x86_64"; char_signed = true; |