-pragma Pure (Case_Util);
-
-pragma Elaborate_Body;
--- The elaborate body is because we have a dummy body to deal with bootstrap
--- path problems (we used to have a real body, and now we don't need it any
--- more, but the bootstrap requires that we have a dummy body, since otherwise
--- the old body gets picked up.
+ pragma Pure;
+ pragma Elaborate_Body;
+ -- The elaborate body is because we have a dummy body to deal with
+ -- bootstrap path problems (we used to have a real body, and now we don't
+ -- need it any more, but the bootstrap requires that we have a dummy body,
+ -- since otherwise the old body gets picked up.