summaryrefslogtreecommitdiff
path: root/gnat.adc
diff options
context:
space:
mode:
Diffstat (limited to 'gnat.adc')
-rw-r--r--gnat.adc3
1 files changed, 2 insertions, 1 deletions
diff --git a/gnat.adc b/gnat.adc
index 3b463dc26a..88cf438d77 100644
--- a/gnat.adc
+++ b/gnat.adc
@@ -35,6 +35,7 @@ pragma Restrictions (Static_Storage_Size);
pragma Assertion_Policy
(Statement_Assertions => Disable,
Pre => Disable,
- Post => Disable);
+ Post => Disable,
+ Refined_Post => Disable);
pragma Overflow_Mode (General => Strict, Assertions => Eliminated);
pragma SPARK_Mode (On);