diff options
Diffstat (limited to 'iirs_utils.ads')
-rw-r--r-- | iirs_utils.ads | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/iirs_utils.ads b/iirs_utils.ads index 67baa832f..fce466c61 100644 --- a/iirs_utils.ads +++ b/iirs_utils.ads @@ -87,8 +87,8 @@ package Iirs_Utils is function Is_Anonymous_Type_Definition (Def : Iir) return Boolean; pragma Inline (Is_Anonymous_Type_Definition); - -- Return TRUE iff DEF is an unconstrained type (or subtype) definition. - function Is_Unconstrained_Type_Definition (Def : Iir) return Boolean; + -- Return TRUE iff DEF is a fully constrained type (or subtype) definition. + function Is_Fully_Constrained_Type (Def : Iir) return Boolean; -- Return true iff L and R have the same profile. -- L and R must be subprograms specification (or spec_body). |