blob: 5cb714093bd0c34fe2904a4c140d47cbb315ec93 [file] [log] [blame]
function Pure_Function2 (X : Integer) return Integer with Pure_Function;
pragma Pure_Function (Pure_Function2);
pragma Pure_Function (Pure_Function2);
pragma Pure_Function (Pure_Function2);