Commit b4685e64 authored by yoogx's avatar yoogx
Browse files

* Disable SPARK_Mode

parent 732f3930
......@@ -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
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