aboutsummaryrefslogtreecommitdiff
path: root/src/kompsos-pretty_print.ads
diff options
context:
space:
mode:
Diffstat (limited to 'src/kompsos-pretty_print.ads')
-rw-r--r--src/kompsos-pretty_print.ads14
1 files changed, 6 insertions, 8 deletions
diff --git a/src/kompsos-pretty_print.ads b/src/kompsos-pretty_print.ads
index 5b443f9..5e6b9ca 100644
--- a/src/kompsos-pretty_print.ads
+++ b/src/kompsos-pretty_print.ads
@@ -8,7 +8,7 @@
private with
- Ada.Containers.Ordered_Maps;
+ Ada.Containers.Hashed_Maps;
generic
@@ -64,13 +64,11 @@ private
- function "<"
- (Left, Right : in Graph_Component_Access)
- return Boolean;
-
- package DOT_Node_Maps is new Ada.Containers.Ordered_Maps
- (Key_Type => Graph_Component_Access,
- Element_Type => Long_Natural);
+ package DOT_Node_Maps is new Ada.Containers.Hashed_Maps
+ (Key_Type => Graph_Component_Access,
+ Element_Type => Long_Natural,
+ Hash => Graph_Component_Access_Hash,
+ Equivalent_Keys => "=");
end Kompsos.Pretty_Print;