diff options
Diffstat (limited to 'src/interp/modemap.boot')
| -rw-r--r-- | src/interp/modemap.boot | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/interp/modemap.boot b/src/interp/modemap.boot index 97f29a33..2eafb6ad 100644 --- a/src/interp/modemap.boot +++ b/src/interp/modemap.boot @@ -363,7 +363,8 @@ getDomainsInScope e == putDomainsInScope(x,e) == l:= getDomainsInScope e - if member(x,l) then SAY("****** Domain: ",x," already in scope") + if $verbose and member(x,l) then + sayBrightly ['" Note: Domain ",x," already in scope"] newValue:= [x,:delete(x,l)] $insideCapsuleFunctionIfTrue => ($CapsuleDomainsInScope:= newValue; e) put("$DomainsInScope","special",newValue,e) |