diff options
Diffstat (limited to 'stdlib/source/lux/target/jvm/constant/tag.lux')
| -rw-r--r-- | stdlib/source/lux/target/jvm/constant/tag.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/lux/target/jvm/constant/tag.lux b/stdlib/source/lux/target/jvm/constant/tag.lux index 71e75f40b..352fb8afe 100644 --- a/stdlib/source/lux/target/jvm/constant/tag.lux +++ b/stdlib/source/lux/target/jvm/constant/tag.lux @@ -8,7 +8,7 @@ [type abstract]] [/// - ["." encoding (#+ U1) ("u1/." u1-equivalence)]]) + ["." encoding (#+ U1) ("u1/." equivalence)]]) (abstract: #export Tag {} @@ -23,7 +23,7 @@ (template [<code> <name>] [(def: #export <name> Tag - (:abstraction (encoding.to-u1 <code>)))] + (:abstraction (encoding.u1 <code>)))] [01 utf8] [03 integer] |