diff options
| author | Jedidiah Barber <contact@jedbarber.id.au> | 2025-11-16 20:09:18 +1300 |
|---|---|---|
| committer | Jedidiah Barber <contact@jedbarber.id.au> | 2025-11-16 20:09:18 +1300 |
| commit | 203222f4ffbdaf23a30ab390a7ad765cfef0c008 (patch) | |
| tree | 6d2ebaf8f538e836f5244238d130dc9d438fee3c /test | |
| parent | 2ccc4c52288ac7f0915c1a9da7cad0e957af2ebb (diff) | |
Variable counting handled properly on a per-State basis
Diffstat (limited to 'test')
| -rw-r--r-- | test/membero.adb | 2 | ||||
| -rw-r--r-- | test/pprint.adb | 2 |
2 files changed, 2 insertions, 2 deletions
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; |