diff options
Diffstat (limited to 'src/interp/modemap.boot')
| -rw-r--r-- | src/interp/modemap.boot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interp/modemap.boot b/src/interp/modemap.boot index bb26af46..d1256d48 100644 --- a/src/interp/modemap.boot +++ b/src/interp/modemap.boot @@ -299,7 +299,7 @@ augModemapsFromCategory(domainName,domainView,functorForm,categoryForm,e) == --condlist:=[[cond,:cond1],:condlist] e:= addModemapKnown(op,domainName,sig,cond,fnsel,e) -- cond was cond1 -- for u in sig | (not member(u,$DomainsInScope)) and --- (not atom u) and +-- (cons? u) and -- (not isCategoryForm(u,e)) do -- e:= addNewDomain(u,e) e |