From ab0154499e1b0ad8c3f104bc8a1d8ea7f1fb4a5c Mon Sep 17 00:00:00 2001
From: Jedidiah Barber <contact@jedbarber.id.au>
Date: Sat, 17 Jan 2026 22:13:19 +1300
Subject: Counter for next available Variable now held by each Goal instead of
 being global

---
 src/kompsos-pretty_print.ads | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/kompsos-pretty_print.ads')

diff --git a/src/kompsos-pretty_print.ads b/src/kompsos-pretty_print.ads
index 23c525e..2e32fb8 100644
--- a/src/kompsos-pretty_print.ads
+++ b/src/kompsos-pretty_print.ads
@@ -62,7 +62,7 @@ private
 
 
     package DOT_Node_Maps is new Ada.Containers.Ordered_Maps
-       (Key_Type     => Goal_Component_Access,
+       (Key_Type     => Graph_Component_Access,
         Element_Type => Long_Natural);
 
 
-- 
cgit