diff options
Diffstat (limited to 'stdlib/source/library/lux/target/jvm/bytecode/environment/limit/registry.lux')
| -rw-r--r-- | stdlib/source/library/lux/target/jvm/bytecode/environment/limit/registry.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/library/lux/target/jvm/bytecode/environment/limit/registry.lux b/stdlib/source/library/lux/target/jvm/bytecode/environment/limit/registry.lux index cc99cdaed..334a2cb15 100644 --- a/stdlib/source/library/lux/target/jvm/bytecode/environment/limit/registry.lux +++ b/stdlib/source/library/lux/target/jvm/bytecode/environment/limit/registry.lux @@ -14,7 +14,7 @@ [number ["n" nat]]] [type - [abstract "*"]]]] + [primitive "*"]]]] ["[0]" ///// "_" [encoding ["[1][0]" unsigned {"+" U1 U2}]] @@ -28,7 +28,7 @@ (def: normal 1) (def: wide 2) -(abstract: .public Registry +(primitive: .public Registry U2 (def: .public registry |