blob: 884c1e61cc5d7f50628f6c2dd8dda5c70a65a473 [file] [log] [blame]
pragma Restrictions (No_Secondary_Stack);
procedure Ghost4 is
procedure Dummy with Ghost is
function Slice (S : String) return String is
(S (S'First .. S'First + 3));
X : String := Slice ("hello");
begin
null;
end Dummy;
begin
Dummy;
end Ghost4;