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/info.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/info.boot')
-rw-r--r-- | src/interp/info.boot | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/interp/info.boot b/src/interp/info.boot index 4506c676..b53cc314 100644 --- a/src/interp/info.boot +++ b/src/interp/info.boot @@ -94,8 +94,8 @@ formatInfo u == isCategoryForm(v,$e) => ["has","$",v] ["ATTRIBUTE","$",v] u is ["IF",a,b,c] => - c="noBranch" => ["COND",:liftCond [formatPred a,formatInfo b]] - b="noBranch" => ["COND",:liftCond [["not",formatPred a],formatInfo c]] + c="%noBranch" => ["COND",:liftCond [formatPred a,formatInfo b]] + b="%noBranch" => ["COND",:liftCond [["not",formatPred a],formatInfo c]] ["COND",:liftCond [formatPred a,formatInfo b],: liftCond [["not",formatPred a],formatInfo c]] systemError '"formatInfo" |