From 62eeff57ffe372e32d6869664f38b7aa50cde28b Mon Sep 17 00:00:00 2001 From: yoogx Date: Sun, 19 Jun 2016 16:20:22 +0200 Subject: [PATCH] * Extend special rules of generation for protected objects to all types --- src/backends/ocarina-backends-c_common-types.adb | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/backends/ocarina-backends-c_common-types.adb b/src/backends/ocarina-backends-c_common-types.adb index 2fa51d28..5888007a 100644 --- a/src/backends/ocarina-backends-c_common-types.adb +++ b/src/backends/ocarina-backends-c_common-types.adb @@ -799,7 +799,7 @@ package body Ocarina.Backends.C_Common.Types is False), True); end if; - elsif Get_Concurrency_Protocol (E) = Priority_Ceiling then + elsif Get_Concurrency_Protocol (E) /= None_Specified then -- Protected type that does not have struct members. -- This piece of code is made to handle declaration -- GitLab