Next: , Previous: pragma No_Run_Time, Up: Obsolescent Features


14.2 pragma Ravenscar

The pragma Ravenscar has exactly the same effect as pragma Profile (Ravenscar). The latter usage is preferred since it is part of the new Ada 2005 standard.