1 files changed, 5 insertions, 1 deletions
diff --git a/gcc/ada/a-cforse.ads b/gcc/ada/a-cforse.ads
index b3e9ff56619..081c2b889d0 100644
--- a/gcc/ada/a-cforse.ads
+++ b/gcc/ada/a-cforse.ads
@@ -327,17 +327,21 @@ package Ada.Containers.Formal_Ordered_Sets is
    end Generic_Keys;
 
    function Strict_Equal (Left, Right : Set) return Boolean with
-        Global => null;
+     Ghost,
+     Global => null;
    --  Strict_Equal returns True if the containers are physically equal, i.e.
    --  they are structurally equal (function "=" returns True) and that they
    --  have the same set of cursors.
 
    function First_To_Previous (Container : Set; Current : Cursor) return Set
    with
+     Ghost,
      Global => null,
      Pre    => Has_Element (Container, Current) or else Current = No_Element;
+
    function Current_To_Last (Container : Set; Current : Cursor) return Set
    with
+     Ghost,
      Global => null,
      Pre    => Has_Element (Container, Current) or else Current = No_Element;
    --  First_To_Previous returns a container containing all elements preceding