diff options
Diffstat (limited to 'src/algebra/tree.spad.pamphlet')
-rw-r--r-- | src/algebra/tree.spad.pamphlet | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/algebra/tree.spad.pamphlet b/src/algebra/tree.spad.pamphlet index ff8ba34c..5a82ba59 100644 --- a/src/algebra/tree.spad.pamphlet +++ b/src/algebra/tree.spad.pamphlet @@ -182,7 +182,7 @@ Tree(S: SetCategory): T==C where insert: (%, List %) -> List % -----> coerce to OutputForm - if S has SetCategory then + if S has CoercibleTo(OutputForm) then multipleOverbar: (OutputForm, Integer, List %) -> OutputForm coerce1: (%, List %, List %) -> OutputForm |