Commit bea0e864 authored by yoogx's avatar yoogx
Browse files

* Print the "public" token in case of package that are only

          annex libraries, e.g. EMV2 ErrorLibrary
parent f7c1181d
......@@ -203,11 +203,16 @@ package body Ocarina.BE_AADL.Namespaces is
Print_Identifier (Pack_Identifier);
if Has_Public or else
not Is_Empty (Ocarina.ME_AADL.AADL_Tree.Nodes.Annexes (Node))
Print_Token (T_Public);
end if;
-- Public part
if Has_Public then
Print_Token (T_Public);
List_Node := First_Node (Declarations (Node));
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