* Correct name of ARINC653 property set

src/core/tree/ocarina-property_sets.adb

@@ -72,7 +72,7 @@ package body Ocarina.Property_Sets is
       O_POK_Properties,
       O_Base_Types,
       O_Taste_Properties,
-      O_ARINC653_Properties,
+      O_ARINC653,
       O_ASSERT_Properties);
 
    Ocarina_Property_Sets_Table : constant array

src/core/tree/ocarina-property_sets.ads

@@ -55,7 +55,7 @@ package Ocarina.Property_Sets is
       O_Ocarina_Config,
       O_Transformations,
       O_POK_Properties,
-      O_ARINC653_Properties,
+      O_ARINC653,
       O_Taste_Properties,
       O_ASSERT_Types,
       O_ASSERT_Properties);