1 files changed, 2 insertions, 1 deletions
diff --git a/gnat.adc b/gnat.adc
index 3b463dc26a4f..88cf438d7747 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);