diff options
| author | Jedidiah Barber <contact@jedbarber.id.au> | 2026-01-24 20:17:20 +1300 |
|---|---|---|
| committer | Jedidiah Barber <contact@jedbarber.id.au> | 2026-01-24 20:17:20 +1300 |
| commit | 00886e535241a994b71ca1ce62f24f5f11ec9255 (patch) | |
| tree | 123480e33d446e96f581aeb8e329916d9dcbc9ae /src/kompsos-pretty_print.ads | |
| parent | 7b201fc0587e8012189f7b1f245734e117e4975c (diff) | |
Minor tidyup and some more comments
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 := "") |