* (ocarina-fe_aadl-parser-annexes.adb): No Corresponding_Annex for

annex libraries.

* (ocarina-fe_aadl-parser-annexes.adb): No Corresponding_Annex for
annex libraries.
7a35c5cf · Bechir Zalila · 4f2fc1b5 · 7a35c5cf
Commit 7a35c5cf authored Jul 04, 2016 by Bechir Zalila
Hide whitespace changes
Inline Side-by-side

Showing with 5 additions and 1 deletion

src/frontends/aadl/ocarina-fe_aadl-parser-annexes.adb src/frontends/aadl/ocarina-fe_aadl-parser-annexes.adb +5 -1

No files found.
--- a/src/frontends/aadl/ocarina-fe_aadl-parser-annexes.adb
+++ b/src/frontends/aadl/ocarina-fe_aadl-parser-annexes.adb
@@ -165,7 +165,11 @@ package body Ocarina.FE_AADL.Parser.Annexes is

      if Present (Annex) then
         Set_Annex_Content (Annex, Annex_Content);
-         Set_Corresponding_Annex (Annex, Annex_Root);
+
+         if Code = PC_Annex_Subclause then
+            Set_Corresponding_Annex (Annex, Annex_Root);
+         end if;
+
         return Annex;
      else
         return No_Node;