blob: d05e3434ebb3edeaf16758a64d0a18a2bcb3b1fc [file] [log] [blame]
package inline_scope_p is
procedure Assert (Expr : Boolean; Str : String);
pragma Inline (Assert);
end;