diff options
Diffstat (limited to 'src/algebra/array1.spad.pamphlet')
| -rw-r--r-- | src/algebra/array1.spad.pamphlet | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/algebra/array1.spad.pamphlet b/src/algebra/array1.spad.pamphlet index 0a521e77..48ee917f 100644 --- a/src/algebra/array1.spad.pamphlet +++ b/src/algebra/array1.spad.pamphlet @@ -199,8 +199,8 @@ IndexedFlexibleArray(S:Type, mn: Integer): Exports == Implementation where growAdding(r, b, s) == b = 0 => r - #r > 0 => growAndFill(r, b, (r.f).0) - #s > 0 => growAndFill(r, b, (s.f).0) + positive?(#r) => growAndFill(r, b, (r.f).0) + positive?(#s) => growAndFill(r, b, (s.f).0) error "no default filler element" growAndFill(r, b, x) == |