diff options
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); |