diff options
Diffstat (limited to 'stdlib/source/library/lux/target/jvm/constant/tag.lux')
| -rw-r--r-- | stdlib/source/library/lux/target/jvm/constant/tag.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/library/lux/target/jvm/constant/tag.lux b/stdlib/source/library/lux/target/jvm/constant/tag.lux index 21a53ae56..440dbc581 100644 --- a/stdlib/source/library/lux/target/jvm/constant/tag.lux +++ b/stdlib/source/library/lux/target/jvm/constant/tag.lux @@ -9,12 +9,12 @@ [format [binary {"+" Writer}]]] [type - [abstract "*"]]]] + [primitive "*"]]]] ["[0]" /// "_" [encoding ["[1][0]" unsigned {"+" U1} ("u1//[0]" equivalence)]]]) -(abstract: .public Tag +(primitive: .public Tag U1 (implementation: .public equivalence |