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 595c695..fc5861d 100644 --- a/src/packrat-parse_graphs.ads +++ b/src/packrat-parse_graphs.ads @@ -137,7 +137,7 @@ package Packrat.Parse_Graphs is return Boolean with Pre => Subtokens'Length > 0; - function No_Loops_Introduced + function Loops_Introduced (Container : in Parse_Graph; Parent : in Finished_Token; Subtokens : in Finished_Token_Array) @@ -183,7 +183,7 @@ package Packrat.Parse_Graphs is Subtokens : in Finished_Token_Array) with Pre => Subtokens'Length > 0 and Valid_Starts_Finishes (Parent, Subtokens) and - Container.No_Loops_Introduced (Parent, Subtokens); + not Container.Loops_Introduced (Parent, Subtokens); procedure Prune (Container : in out Parse_Graph; |