diff options
author | dos-reis <gdr@axiomatics.org> | 2010-02-27 08:29:45 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2010-02-27 08:29:45 +0000 |
commit | d80dc0d3c5aca58f51d18132005c39a4358e32ae (patch) | |
tree | 2dc00a2af8d5b2c72bb48e157762323d22c08b77 /src/interp | |
parent | e88adcff035ac357b03f21325c0edacbc3d55b66 (diff) | |
download | open-axiom-d80dc0d3c5aca58f51d18132005c39a4358e32ae.tar.gz |
* interp/modemap.boot (augModemapsFromCategoryRep): Remove
assignment to $base.
(augModemapsFromCategory): Likewise.
Diffstat (limited to 'src/interp')
-rw-r--r-- | src/interp/modemap.boot | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/interp/modemap.boot b/src/interp/modemap.boot index e074381f..25172e4f 100644 --- a/src/interp/modemap.boot +++ b/src/interp/modemap.boot @@ -264,7 +264,6 @@ augModemapsFromCategoryRep(domainName,repDefn,functorBody,categoryForm,e) == catform:= (isCategory categoryForm => categoryForm.(0); categoryForm) compilerMessage('"Adding %1p modemaps",[domainName]) e:= putDomainsInScope(domainName,e) - $base:= 4 for [lhs:=[op,sig,:.],cond,fnsel] in fnAlist repeat u:=assoc(substitute("Rep",domainName,lhs),repFnAlist) u and not AMFCR_,redefinedList(op,functorBody) => @@ -288,7 +287,6 @@ augModemapsFromCategory(domainName,domainView,functorForm,categoryForm,e) == --if not $InteractiveMode then compilerMessage('"Adding %1p modemaps",[domainName]) e:= putDomainsInScope(domainName,e) - $base:= 4 condlist:=[] for [[op,sig,:.],cond,fnsel] in fnAlist repeat -- e:= addModemap(op,domainName,sig,cond,fnsel,e) |