From 203222f4ffbdaf23a30ab390a7ad765cfef0c008 Mon Sep 17 00:00:00 2001 From: Jedidiah Barber Date: Sun, 16 Nov 2025 20:09:18 +1300 Subject: Variable counting handled properly on a per-State basis --- test/membero.adb | 2 +- test/pprint.adb | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) (limited to 'test') diff --git a/test/membero.adb b/test/membero.adb index 46127d7..bc51c33 100644 --- a/test/membero.adb +++ b/test/membero.adb @@ -44,7 +44,7 @@ begin Verse.Member (Verse.Fresh ("result") & Test_Item); - TIO.Put_Line (Printer.Image (Verse.Take (5))); + TIO.Put_Line (Printer.Image (Verse)); end Membero; diff --git a/test/pprint.adb b/test/pprint.adb index c42b2c8..2003238 100644 --- a/test/pprint.adb +++ b/test/pprint.adb @@ -50,7 +50,7 @@ begin TIO.New_Line; - TIO.Put_Line (Image (Empty_World)); + TIO.Put_Line (Image_Constant (Empty_World)); end PPrint; -- cgit