diff options
Diffstat (limited to 'test/membero.adb')
| -rw-r--r-- | test/membero.adb | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/membero.adb b/test/membero.adb index 694410d..1143df2 100644 --- a/test/membero.adb +++ b/test/membero.adb @@ -31,7 +31,7 @@ procedure Membero is package Prelude is new InKomp.Prelude; package Printer is new InKomp.Pretty_Print (SU.To_String); - Verse : World := Empty_World; + Verse : Prelude.World := Prelude.Empty_World; Test_Item : constant Term := T (T (+"one") & T (+"two") & T (+"three") & T (+"four")); @@ -44,7 +44,7 @@ begin TIO.New_Line; - Prelude.Member (Verse, T (Verse.Fresh ("result")), Test_Item); + Verse.Member (Verse.Fresh ("result"), Test_Item); TIO.Put_Line (Printer.Image (Verse)); |