From 4472f312e3d5ef93d1b89b326727a10d34d918ce Mon Sep 17 00:00:00 2001 From: Michael Schmidt Date: Mon, 19 Feb 2018 11:02:54 +0100 Subject: Struct return on OpenBSD now tested --- cparser/Machine.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'cparser/Machine.ml') 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; -- cgit