Commit 691fd18f authored by yoogx's avatar yoogx

* Restore SPARK_Mode

parent e71c7730
......@@ -16,7 +16,7 @@ pragma Locking_Policy (Ceiling_Locking); -- D.13.1
-- target: the code has Spark_Mode disabled in some occurences,
-- without this pragma the code would be rejected.
-- pragma Spark_Mode (On);
pragma Spark_Mode (On);
--------------------------------------------------------------------------------
-- The following define restrictions to be supported by the
......@@ -36,7 +36,7 @@ pragma Restrictions (No_Recursion); -- H.4 (22)
-- pragma Partition_Elaboration_Policy (Sequential); -- H.6 (3)
-- This policy eases task initial synchronization and the bootstrap
-- of the VM, see Ada 2005 Rationale for more details). (Not yet
-- supported by GNAT)
-- supported by GNAT for Native platforms)
-- pragma Restriction_Warnings (No_Implementation_Attributes); -- 13.12 (2)
-- Style-check to enforce compliance with pure Ada, but also to avoid
......
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