diff options
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" |