1 files changed, 4 insertions, 0 deletions
diff --git a/gnat.adc b/gnat.adc
index 5a03406dad..5ebc91bd36 100644
--- a/gnat.adc
+++ b/gnat.adc
@@ -28,3 +28,7 @@ pragma Assertion_Policy
    Refined_Post         => Disable);
 pragma Overflow_Mode (General => Strict, Assertions => Eliminated);
 pragma SPARK_Mode (On);
+
+pragma Warnings
+  (GNAT, Off, """Side_Effects"" is not a valid aspect identifier",
+   Reason => """Side_Effects"" is new and needed for toolchain transition.");