Commit f6708e8f authored by julien.delange's avatar julien.delange

automatically load assert_types and all needed properties

by buildsupport



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@1020 129961e7-ef38-4bb5-a8f7-c9a525a55882
parent 6b17f690
......@@ -61,6 +61,8 @@ package body Ocarina.Property_Sets is
O_Deployment,
O_Cheddar_Properties,
O_Ocarina_Config,
O_Base_Types,
O_ASSERT_Types,
O_ASSERT_Properties);
AADLv2_Ocarina_Property_Sets : aliased Ocarina_Property_Set_Array_Type
......
......@@ -58,6 +58,7 @@ package Ocarina.Property_Sets is
O_POK_Properties,
O_ARINC653_Properties,
O_Taste_Properties,
O_ASSERT_Types,
O_ASSERT_Properties);
-- The Ocarina property sets
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment