Counter for next available Variable now held by each Goal instead of being global

1 files changed, 2 insertions, 2 deletions

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;