* Disable SPARK_Mode

e71c7730 · yoogx · 260f2a67 · e71c7730
Commit e71c7730 authored Jan 05, 2015 by yoogx
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

src/gnat.adc src/gnat.adc +1 -1

No files found.
--- a/src/gnat.adc
+++ b/src/gnat.adc
@@ -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