From 0b9e8a567265584f8ad5f321a38cf1f183875693 Mon Sep 17 00:00:00 2001 From: Jedidiah Barber Date: Fri, 6 Feb 2026 21:32:44 +1300 Subject: Changed the map for DOT in Pretty_Print to a Hashed_Map --- src/kompsos.ads | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'src/kompsos.ads') diff --git a/src/kompsos.ads b/src/kompsos.ads index ab50a08..fa2ea8e 100644 --- a/src/kompsos.ads +++ b/src/kompsos.ads @@ -498,6 +498,10 @@ private type Graph_Component_Access is access Graph_Component; + function Graph_Component_Access_Hash + (Key : in Graph_Component_Access) + return Ada.Containers.Hash_Type; + type Goal_Graph is new Ada.Finalization.Controlled with record Actual : Graph_Component_Access := null; end record; -- cgit