diff options
Diffstat (limited to 'src/algebra')
| -rw-r--r-- | src/algebra/syntax.spad.pamphlet | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/algebra/syntax.spad.pamphlet b/src/algebra/syntax.spad.pamphlet index 20396e7e..b28ce3f4 100644 --- a/src/algebra/syntax.spad.pamphlet +++ b/src/algebra/syntax.spad.pamphlet @@ -1611,7 +1611,7 @@ SpadAst(): SpadAstExports() == add x case ExitAst == isAst(x,'exit) autoCoerce(x: %): ExitAst == x : ExitAst - x case ReturnAst == isAst(x,'RETURN) + x case ReturnAst == isAst(x,'_return) autoCoerce(x: %): ReturnAst == x : ReturnAst x case CoerceAst == isAst(x,'_:_:) |