diff options
Diffstat (limited to 'src/algebra/pattern.spad.pamphlet')
| -rw-r--r-- | src/algebra/pattern.spad.pamphlet | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/algebra/pattern.spad.pamphlet b/src/algebra/pattern.spad.pamphlet index c5a667e6..f3368758 100644 --- a/src/algebra/pattern.spad.pamphlet +++ b/src/algebra/pattern.spad.pamphlet @@ -343,7 +343,7 @@ Pattern(R:SetCategory): Exports == Implementation where p.ker.tag = PAT_ZERO => 0::Integer::O p.ker.tag = PAT_ONE => 1::Integer::O l := [x::O for x in p.ker.arg]$List(O) - (u:=display(p.ker.op)) case "failed" =>prefix(name(p.ker.op)::O,l) + (u:=display(p.ker.op)) case nothing =>prefix(name(p.ker.op)::O,l) (u::(List O -> O)) l patcopy p == |