From 00886e535241a994b71ca1ce62f24f5f11ec9255 Mon Sep 17 00:00:00 2001 From: Jedidiah Barber Date: Sat, 24 Jan 2026 20:17:20 +1300 Subject: Minor tidyup and some more comments --- src/kompsos-pretty_print.ads | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/kompsos-pretty_print.ads') 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 := "") -- cgit