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 --- test/pprint.adb | 2 ++ 1 file changed, 2 insertions(+) (limited to 'test/pprint.adb') diff --git a/test/pprint.adb b/test/pprint.adb index 6d05cba..b34f255 100644 --- a/test/pprint.adb +++ b/test/pprint.adb @@ -34,6 +34,7 @@ procedure PPrint is Term_Two : constant Term := T (T (+"One") & T (+"Two") & T (+"Three")); Term_Three : constant Term := T (Term_One & Term_Two & T (+"World")); Term_Four : constant Term := T (Null_Term & Null_Term); + Term_Five : constant Term := T (T (+"Goodbye"), T (+"World")); begin @@ -45,6 +46,7 @@ begin TIO.Put_Line (Image (Term_Two)); TIO.Put_Line (Image (Term_Three)); TIO.Put_Line (Image (Term_Four)); + TIO.Put_Line (Image (Term_Five)); TIO.New_Line; -- cgit