Update comment about workaround related to use of constant access type

Ref. #672, Componolit/Workarounds#36
AdaCore · Jun 29, 2021 · 9caf9de · 9caf9de
1 parent d0874b9
commit 9caf9de
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/rflx/generator/generator.py b/rflx/generator/generator.py
@@ -2670,11 +2670,9 @@ def __create_valid_context_function(
             [],
             [],
             [
-                # WORKAROUND:
-                # Limitation of GNAT Community 2020
+                # WORKAROUND: Componolit/Workarounds#36
                 # An access constant type cannot be used here, because the "implicit conversion
                 # between access types with different designated types is not yet supported".
-                # The warning is no longer shown in later versions of SPARK.
                 Pragma(
                     "Warnings",
                     [