diff options
Diffstat (limited to 'src/grt/grt-change_generics.ads')
| -rw-r--r-- | src/grt/grt-change_generics.ads | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/grt/grt-change_generics.ads b/src/grt/grt-change_generics.ads index e3439b47b..d2dec9b73 100644 --- a/src/grt/grt-change_generics.ads +++ b/src/grt/grt-change_generics.ads @@ -26,4 +26,8 @@ package Grt.Change_Generics is -- Override top entity generics, using Generic_Override list from Options. procedure Change_All_Generics; + + -- Emit an error if a generic that required override (unconstrained array) + -- wasn't overriden. + procedure Check_Required_Generic_Override; end Grt.Change_Generics; |