1 files changed, 12 insertions, 12 deletions
diff --git a/stdlib/source/library/lux/target/jvm/bytecode/instruction.lux b/stdlib/source/library/lux/target/jvm/bytecode/instruction.lux
index e2c89d203..b47e4d4ba 100644
--- a/stdlib/source/library/lux/target/jvm/bytecode/instruction.lux
+++ b/stdlib/source/library/lux/target/jvm/bytecode/instruction.lux
@@ -2,8 +2,8 @@
   [library
    [lux "*"
     [abstract
-     [monad {"+" [do]}]
-     [monoid {"+" [Monoid]}]]
+     [monad {"+" do}]
+     [monoid {"+" Monoid}]]
     [control
      ["[0]" function]
      ["[0]" try]]
@@ -11,30 +11,30 @@
      ["[0]" product]
      ["[0]" binary]
      ["[0]" format "_"
-      ["[1]" binary {"+" [Mutation Specification]}]]
+      ["[1]" binary {"+" Mutation Specification}]]
      [collection
       ["[0]" list]]]
     [macro
      ["[0]" template]]
     [math
-     [number {"+" [hex]}
+     [number {"+" hex}
       ["n" nat]]]
     [type
      abstract]]]
   ["[0]" // "_"
-   ["[1][0]" address {"+" [Address]}]
-   ["[1][0]" jump {"+" [Jump Big_Jump]}]
+   ["[1][0]" address {"+" Address}]
+   ["[1][0]" jump {"+" Jump Big_Jump}]
    [environment
     [limit
-     [registry {"+" [Register]}]]]
+     [registry {"+" Register}]]]
    ["/[1]" // "_"
-    ["[1][0]" index {"+" [Index]}]
-    ["[1][0]" constant {"+" [Class Reference]}]
+    ["[1][0]" index {"+" Index}]
+    ["[1][0]" constant {"+" Class Reference}]
     [encoding
-     ["[1][0]" unsigned {"+" [U1 U2 U4]}]
-     ["[1][0]" signed {"+" [S1 S2 S4]}]]
+     ["[1][0]" unsigned {"+" U1 U2 U4}]
+     ["[1][0]" signed {"+" S1 S2 S4}]]
     [type
-     [category {"+" [Value Method]}]]]])
+     [category {"+" Value Method}]]]])
 
 (type: .public Size
   U2)