diff options
Diffstat (limited to 'src/packrat-parse_graphs.ads')
-rw-r--r-- | src/packrat-parse_graphs.ads | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/packrat-parse_graphs.ads b/src/packrat-parse_graphs.ads index 2912110..de5e4e9 100644 --- a/src/packrat-parse_graphs.ads +++ b/src/packrat-parse_graphs.ads @@ -68,8 +68,8 @@ package Packrat.Parse_Graphs is (Left, Right : in Finished_Token_Array) return Boolean; - type Token_Group is private with Type_Invariant => - Ada.Containers.">" (Length (Token_Group), 0); + use type Ada.Containers.Count_Type; + type Token_Group is private with Type_Invariant => Length (Token_Group) > 0; type Token_Group_Array is array (Positive range <>) of Token_Group; function "<" |