diff options
Diffstat (limited to 'src/kompsos-pretty_print.adb')
| -rw-r--r-- | src/kompsos-pretty_print.adb | 4 |
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; |