diff options
| author | Jedidiah Barber <contact@jedbarber.id.au> | 2025-11-12 20:34:24 +1300 |
|---|---|---|
| committer | Jedidiah Barber <contact@jedbarber.id.au> | 2025-11-12 20:34:24 +1300 |
| commit | c9e156fdc3449d1cbc9dac4176cc460f6462ef18 (patch) | |
| tree | eff51bebfc12e4417a6d70c49d696d703bd43745 /test/ab.adb | |
| parent | 9ae0a7e7c5d7669a81fe9eba13ff9c6224635efe (diff) | |
Prelude now derives its own World so dot notation works for those subprograms
Diffstat (limited to 'test/ab.adb')
| -rw-r--r-- | test/ab.adb | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/ab.adb b/test/ab.adb index 80b11c3..5df34e2 100644 --- a/test/ab.adb +++ b/test/ab.adb @@ -23,8 +23,8 @@ procedure AB is package InPrin is new InKomp.Pretty_Print (Integer'Image); use InPrin; - Verse : World := Empty_World; - Ref : Variable; + Verse : Mu_World := Empty_Mu_World; + Ref : Term; begin |