diff options
Diffstat (limited to 'test/rembero.adb')
| -rw-r--r-- | test/rembero.adb | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/test/rembero.adb b/test/rembero.adb index 669d42a..e64314e 100644 --- a/test/rembero.adb +++ b/test/rembero.adb @@ -24,7 +24,7 @@ procedure Rembero is package Printer is new InKomp.Pretty_Print (Integer'Image); - Verse : World := Empty_World; + Relation : Goal := Empty_Goal; begin @@ -35,10 +35,10 @@ begin TIO.New_Line; - Verse.Remove (Verse.Fresh ("item") & Verse.Fresh ("list") & Verse.Fresh ("out")); + Relation.Remove (Relation.Fresh ("item") & Relation.Fresh ("list") & Relation.Fresh ("out")); declare - First_Five : constant State_Array := Verse.Take (5); + First_Five : constant State_Array := Relation.Run (5); begin TIO.Put_Line ("Raw results:"); TIO.Put_Line (Printer.Image (First_Five)); |