diff options
author | Jed Barber <jjbarber@y7mail.com> | 2019-03-11 22:09:36 +1100 |
---|---|---|
committer | Jed Barber <jjbarber@y7mail.com> | 2019-03-11 22:09:36 +1100 |
commit | 1b9addbec8cce85f7568207078cd5eef05c1c9fb (patch) | |
tree | d29fd29006eb92defbe063ec990032819e6601c3 /src/packrat-graphs.ads | |
parent | 251a86e85fbcbe0ce25d780f971ef6cc0b5ab342 (diff) |
Graph Append and Prepend functions should now work
Diffstat (limited to 'src/packrat-graphs.ads')
-rw-r--r-- | src/packrat-graphs.ads | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/packrat-graphs.ads b/src/packrat-graphs.ads index 76be2e4..5074485 100644 --- a/src/packrat-graphs.ads +++ b/src/packrat-graphs.ads @@ -469,6 +469,10 @@ private (Index_Type => Positive, Element_Type => Node_Index); + package Index_Maps is new Ada.Containers.Ordered_Maps + (Key_Type => Node_Index, + Element_Type => Node_Index); + |