Commit 4cfd4411 authored by yoogx's avatar yoogx

* Minor reformatting

parent 0daab9f8
......@@ -48,7 +48,7 @@ package body PolyORB_HI.Suspenders is
procedure Suspend_Forever
with SPARK_Mode => Off
-- delay until not supported in GNATProve GPL2014
-- XXX: delay until not supported in GNATProve GPL2014
is
begin
-- Suspend_Until_True (The_Suspender);
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment