diff options
Diffstat (limited to 'src/algebra')
| -rw-r--r-- | src/algebra/syntax.spad.pamphlet | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/algebra/syntax.spad.pamphlet b/src/algebra/syntax.spad.pamphlet index c6fb305e..963e841b 100644 --- a/src/algebra/syntax.spad.pamphlet +++ b/src/algebra/syntax.spad.pamphlet @@ -135,7 +135,9 @@ Syntax(): Public == Private where symbol? rep s coerce(x: %): OutputForm == - rep(x)::OutputForm + x' := rep x + string? x' => outputForm(x' : String) + x'::OutputForm convert(x: %): SExpression == rep x |