Next: Pragma Refined_Depends, Previous: Pragma Rational, Up: Implementation Defined Pragmas
Syntax:
pragma Ravenscar;
This pragma is considered obsolescent, but is retained for compatibility purposes. It is equivalent to:
pragma Profile (Ravenscar);
which is the preferred method of setting the Ravenscar profile.