diff options
author | Jed Barber <jjbarber@y7mail.com> | 2021-01-13 18:31:27 +1100 |
---|---|---|
committer | Jed Barber <jjbarber@y7mail.com> | 2021-01-13 18:31:27 +1100 |
commit | 3fa431a2268a11dec6fd82c8f9b59cc2d0af9a93 (patch) | |
tree | 509228a90b6fba0daf7d9fb2598132fe64d361fa /src/packrat-lexers.ads | |
parent | 703a09c135d04b37be34d95915c32d70d730894c (diff) |
Stamp/Ignore now Stamp/Discard/Ignore
Diffstat (limited to 'src/packrat-lexers.ads')
-rw-r--r-- | src/packrat-lexers.ads | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/packrat-lexers.ads b/src/packrat-lexers.ads index 9fd61e2..ac0ba2b 100644 --- a/src/packrat-lexers.ads +++ b/src/packrat-lexers.ads @@ -143,7 +143,7 @@ package Packrat.Lexers is (Input : in Traits.Element_Array; Start : in Positive) return Combinator_Result; - function Ignore + function Discard (Input : in Traits.Element_Array; Context : in out Lexer_Context) return Component_Result; |