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.