summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/inline_scope_p.ads
blob: d05e3434ebb3edeaf16758a64d0a18a2bcb3b1fc (plain)
1
2
3
4
package inline_scope_p is
    procedure Assert (Expr : Boolean; Str : String);
    pragma Inline (Assert);
end;