diff options
Diffstat (limited to 'src/interp/br-saturn.boot')
| -rw-r--r-- | src/interp/br-saturn.boot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interp/br-saturn.boot b/src/interp/br-saturn.boot index a06b0f8f..9fad03b0 100644 --- a/src/interp/br-saturn.boot +++ b/src/interp/br-saturn.boot @@ -1241,7 +1241,7 @@ displayDomainOp(htPage,which,origin,op,sig,predicate, which = '"attribute" or which = '"constructor" => sig $conkind ~= '"package" => sig symbolsUsed := [x for x in rest conform | ident? x] - $DomainList := SETDIFFERENCE($DomainList,symbolsUsed) + $DomainList := setDifference($DomainList,symbolsUsed) getSubstSigIfPossible sig ----------------------------------------------------------- htSaySaturn '"\begin{tabular}{lp{0in}}" |