blob: 90b28fb1af9e1121798c781a29a02074a863fde6 [file] [log] [blame]
package Pure_Function1 is
function F return Integer;
pragma Pure_Function (F);
pragma Pure_Function (F);
pragma Pure_Function (F);
end;