diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-08-05 20:27:43 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-08-05 20:27:43 +0000 |
| commit | ec54e41af6a45f9e5399dc30672f67ba8ef19cde (patch) | |
| tree | 3d9b895167d6280eca2935fde37d527ec89b204f /src/interp | |
| parent | 207c5a13c6987ad88975c35006d16c74d0e58e1a (diff) | |
| download | open-axiom-ec54e41af6a45f9e5399dc30672f67ba8ef19cde.tar.gz | |
* boot/tokens.boot: Remove unused and antiquated tokens.
* interp/i-output.boot: Escape caret.
Diffstat (limited to 'src/interp')
| -rw-r--r-- | src/interp/i-output.boot | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/interp/i-output.boot b/src/interp/i-output.boot index 1231614b..53949ca0 100644 --- a/src/interp/i-output.boot +++ b/src/interp/i-output.boot @@ -319,10 +319,10 @@ for x in '((+ APP plusApp) (** WIDTH exptWidth) (** SUBSPAN exptSub) (** SUPERSPAN exptSuper) - (^ APP exptApp) - (^ WIDTH exptWidth) - (^ SUBSPAN exptSub) - (^ SUPERSPAN exptSuper) + (_^ APP exptApp) + (_^ WIDTH exptWidth) + (_^ SUBSPAN exptSub) + (_^ SUPERSPAN exptSuper) (STEP APP stepApp) (STEP WIDTH stepWidth) (STEP SUBSPAN stepSub) |