projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c63bb4f) | patch
[Ada] Fix reference to SPARK RM rule in comment
authorPiotr Trojanek <trojanek@adacore.com>
Tue, 22 Dec 2020 00:01:11 +0000 (01:01 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Tue, 4 May 2021 09:17:30 +0000 (05:17 -0400)
commit6aca8cf819fe5d12fe525788fbd8ff390fc57196
tree81a1bbc24274f19578fede4ec51b2296287b69c9tree | snapshot
parentc63bb4f3aaa18b5e4c8722c655187d592faecde3commit | diff
[Ada] Fix reference to SPARK RM rule in comment

gcc/ada/

* sem_prag.adb (Check_Mode_Restriction_In_Enclosing_Context):
Fix reference to SPARK RM rule number.
gcc/ada/sem_prag.adb diff | blob | history
Domain: System / Toolchain;