diff options
| author | dos-reis <gdr@axiomatics.org> | 2007-11-22 17:20:27 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2007-11-22 17:20:27 +0000 |
| commit | fcc7f11db9c755b9b58ce43d37bbe8a702af8ebf (patch) | |
| tree | 05aa94e2606b88faf554913a03a60bc424e56102 /src/interp/wi2.boot | |
| parent | 4244764830efa92de999f8e548f0cc2a800e61d1 (diff) | |
| download | open-axiom-fcc7f11db9c755b9b58ce43d37bbe8a702af8ebf.tar.gz | |
* as.boot: Globally substitute %noBranch for noBranch.
* ax.boot: Likewise.
* cattable.boot: Likewise.
* compiler.boot: Likewise.
* def.lisp: Likewise.
* define.boot: Likewise.
* functor.boot: Likewise.
* g-opt.boot: Likewise.
* i-analy.boot: Likewise.
* i-intern.boot: Likewise.
* i-map.boot: Likewise.
* i-object.boot: Likewise.
* i-output.boot: Likewise.
* i-spec2.boot: Likewise.
* info.boot: Likewise.
* mark.boot: Likewise.
* nrunopt.boot: Likewise.
* package.boot: Likewise.
* parse.boot: Likewise.
* pf2atree.boot: Likewise.
* pf2sex.boot: Likewise.
* postpar.boot: Likewise.
* pspad2.boot: Likewise.
* wi2.boot: Likewise.
Diffstat (limited to 'src/interp/wi2.boot')
| -rw-r--r-- | src/interp/wi2.boot | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/interp/wi2.boot b/src/interp/wi2.boot index 418ddf66..77171800 100644 --- a/src/interp/wi2.boot +++ b/src/interp/wi2.boot @@ -1073,7 +1073,7 @@ doItIf(item is [.,p,x,y],$predl,$e) == olde:= $e [p',.,$e]:= qt(19,comp(p,$Boolean,$e)) or userError ['"not a Boolean:",p] oldFLP:=$functorLocalParameters - if x^="noBranch" then + if x^="%noBranch" then --> new <----------------------- qe(20,compSingleCapsuleItem(x,[p,:$predl],getSuccessEnvironment(markKillAll p,$e))) ---> new ----------- @@ -1104,7 +1104,7 @@ doItIf(item is [.,p,x,y],$predl,$e) == $functorLocalParameters:=[:oldFLP,:REVERSE nils] REVERSE ans oldFLP:=$functorLocalParameters - if y^="noBranch" then + if y^="%noBranch" then --> new <----------------------- qe(21,compSingleCapsuleItem(y,[['not, p],:$predl],getInverseEnvironment(markKillAll p,olde))) --> ----------- |