diff options
| author | Jedidiah Barber <contact@jedbarber.id.au> | 2025-12-14 19:53:01 +1300 |
|---|---|---|
| committer | Jedidiah Barber <contact@jedbarber.id.au> | 2025-12-14 19:53:01 +1300 |
| commit | 826b9d2dad1031a3eca29dd2fb8b6643e53e5fc1 (patch) | |
| tree | 40a689365738f8cce48e1b285955e28466641383 /example/zebra.adb | |
| parent | 3086d133950cb813c01a89e97e009f7b400b5371 (diff) | |
Diffstat (limited to 'example/zebra.adb')
| -rw-r--r-- | example/zebra.adb | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/example/zebra.adb b/example/zebra.adb index 7917421..b5449f5 100644 --- a/example/zebra.adb +++ b/example/zebra.adb @@ -52,11 +52,6 @@ procedure Zebra is function On_Right (This : in World; Inputs : in Term_Array) - return World; - - function On_Right - (This : in World; - Inputs : in Term_Array) return World is Left_Term : Term renames Inputs (1); @@ -130,8 +125,6 @@ begin T (N & N & N & T (+"fox") & N) & T (N & T (+"chesterfields") & N & N & N) & Houses_Term); - Verse.Force (1); - Verse.Member (T (N & N & T (+"water") & N & N) & Houses_Term); Verse.Member (T (N & N & N & T (+"zebra") & N) & Houses_Term); |