diff options
Diffstat (limited to 'src/kompsos-pretty_print.ads')
| -rw-r--r-- | src/kompsos-pretty_print.ads | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/kompsos-pretty_print.ads b/src/kompsos-pretty_print.ads index 5f388b9..5b443f9 100644 --- a/src/kompsos-pretty_print.ads +++ b/src/kompsos-pretty_print.ads @@ -43,6 +43,8 @@ package Kompsos.Pretty_Print is -- Graphviz DAG Of Tomorrow -- + -- Currently only shows general structure, not specific Terms for a Unify + -- or the specific function and arguments for a Conjunct. function Structure_DOT (This : in Goal; Name : in String := "") |