diff options
Diffstat (limited to 'src/kompsos-pretty_print.ads')
| -rw-r--r-- | src/kompsos-pretty_print.ads | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/kompsos-pretty_print.ads b/src/kompsos-pretty_print.ads index 19da0af..653858b 100644 --- a/src/kompsos-pretty_print.ads +++ b/src/kompsos-pretty_print.ads @@ -35,14 +35,14 @@ package Kompsos.Pretty_Print is return String; function Image - (Item : in World) + (Item : in Goal) return String; function Structure_DOT - (This : in World; + (This : in Goal; Name : in String := "") return String; @@ -60,7 +60,7 @@ private package DOT_Node_Maps is new Ada.Containers.Ordered_Maps - (Key_Type => World_Component_Access, + (Key_Type => Goal_Component_Access, Element_Type => Long_Natural); |