diff options
Diffstat (limited to 'src/boot/pile.boot')
| -rw-r--r-- | src/boot/pile.boot | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/boot/pile.boot b/src/boot/pile.boot index f789067d..f374fee9 100644 --- a/src/boot/pile.boot +++ b/src/boot/pile.boot @@ -57,14 +57,14 @@ shoePileInsert (s)== shoePileTree(n,s)== bStreamNull s => [false,n,[],s] - [h,t] := [first s,rest s] + [h,:t] := s hh := shoePileColumn h hh > n => shoePileForests(h,hh,t) [false,n,[],s] eqshoePileTree(n,s)== bStreamNull s => [false,n,[],s] - [h,t] := [first s,rest s] + [h,:t] := s hh := shoePileColumn h hh = n => shoePileForests(h,hh,t) [false,n,[],s] |