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