From 90a7dec41ac4f68c4c9a99eb77ebf340a36e536e Mon Sep 17 00:00:00 2001 From: Jedidiah Barber Date: Wed, 12 Nov 2025 14:33:11 +1300 Subject: Bugfixes in Unify and Term Image, query function for World failure --- src/kompsos-pretty_print.adb | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/kompsos-pretty_print.adb') 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; -- cgit