summaryrefslogtreecommitdiff
path: root/src/packrat-parse_graphs.ads
diff options
context:
space:
mode:
Diffstat (limited to 'src/packrat-parse_graphs.ads')
-rw-r--r--src/packrat-parse_graphs.ads4
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 "<"