diff options
| author | Jedidiah Barber <contact@jedbarber.id.au> | 2025-11-12 14:33:11 +1300 |
|---|---|---|
| committer | Jedidiah Barber <contact@jedbarber.id.au> | 2025-11-12 14:33:11 +1300 |
| commit | 90a7dec41ac4f68c4c9a99eb77ebf340a36e536e (patch) | |
| tree | 95d66d5dc11c76eeafb0a7cd36316f9dcb3b660b /src/kompsos-pretty_print.adb | |
| parent | 3356c1956735504f2197b12f1b423aec50a6bd6b (diff) | |
Bugfixes in Unify and Term Image, query function for World failure
Diffstat (limited to 'src/kompsos-pretty_print.adb')
| -rw-r--r-- | src/kompsos-pretty_print.adb | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/kompsos-pretty_print.adb b/src/kompsos-pretty_print.adb index 62f27fa..87131e1 100644 --- a/src/kompsos-pretty_print.adb +++ b/src/kompsos-pretty_print.adb @@ -68,6 +68,8 @@ package body Kompsos.Pretty_Print is when Pair_Term => if Item.Actual.Right.Actual = null then return Image (Item.Actual.Left); + elsif Item.Actual.Right.Actual.Kind /= Pair_Term then + return Image (Item.Actual.Left) & " . " & Bare (Item.Actual.Right); else return Image (Item.Actual.Left) & " " & Bare (Item.Actual.Right); end if; |