Previous: pragma Ravenscar, Up: Obsolescent Features


15.3 pragma Restricted_Run_Time

The pragma Restricted_Run_Time has exactly the same effect as pragma Profile (Restricted). The latter usage is preferred since the Ada 2005 pragma Profile is intended for this kind of implementation dependent addition.