From 84696069475bfa7732326dee94a2c8a852ece827 Mon Sep 17 00:00:00 2001
From: Jed Barber <jjbarber@y7mail.com>
Date: Thu, 12 Nov 2020 17:06:06 +1100
Subject: Outline of tests for Parse_Graphs

---
 src/packrat-parse_graphs.ads | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/packrat-parse_graphs.ads')

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 "<"
-- 
cgit