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 85fa6886..89fe9f48 100644 --- a/src/interp/modemap.boot +++ b/src/interp/modemap.boot @@ -308,7 +308,7 @@ augModemapsFromCategory(domainName,domainView,functorForm,categoryForm,e) == -- --this is particularly dirty and should be cleaned up, say, by wrapping -- -- an appropriate lambda expression around mapping forms -- domainForm is [op,:l] and l => --- get(op,'modemap,e) is [[[mc,:.],:.]] => applySubst(PAIR(rest mc,l),catForm) +-- get(op,'modemap,e) is [[[mc,:.],:.]] => applySubst(pairList(rest mc,l),catForm) -- catForm evalAndSub(domainName,viewName,functorForm,form,$e) == |