From ab0154499e1b0ad8c3f104bc8a1d8ea7f1fb4a5c Mon Sep 17 00:00:00 2001 From: Jedidiah Barber 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.adb | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/kompsos-pretty_print.adb') diff --git a/src/kompsos-pretty_print.adb b/src/kompsos-pretty_print.adb index 3171164..3a65fb9 100644 --- a/src/kompsos-pretty_print.adb +++ b/src/kompsos-pretty_print.adb @@ -153,7 +153,7 @@ package body Kompsos.Pretty_Print is -------------------------------- procedure Do_Structure_DOT - (This : in Goal; + (This : in Goal_Graph; Nodes : in out DOT_Node_Maps.Map; Next : in out Long_Natural; Result : in out SU.Unbounded_String) is @@ -226,7 +226,7 @@ package body Kompsos.Pretty_Print is SU.Append (Result, Name & " "); end if; SU.Append (Result, "{" & Latin.LF); - Do_Structure_DOT (This, Nodes, Next_ID, Result); + Do_Structure_DOT (This.Graph, Nodes, Next_ID, Result); SU.Append (Result, "}"); return SU.To_String (Result); end Structure_DOT; -- cgit