1 files changed, 10 insertions, 10 deletions
diff --git a/stdlib/source/library/lux/target/jvm/bytecode/address.lux b/stdlib/source/library/lux/target/jvm/bytecode/address.lux
index ddb1331dc..5c2dd04d2 100644
--- a/stdlib/source/library/lux/target/jvm/bytecode/address.lux
+++ b/stdlib/source/library/lux/target/jvm/bytecode/address.lux
@@ -26,49 +26,49 @@
 (primitive .public Address
   U2
 
-  (def: .public value
+  (def .public value
     (-> Address U2)
     (|>> representation))
 
-  (def: .public start
+  (def .public start
     Address
     (|> 0 ///unsigned.u2 try.trusted abstraction))
 
-  (def: .public (move distance)
+  (def .public (move distance)
     (-> U2 (-> Address (Try Address)))
     (|>> representation
          (///unsigned.+/2 distance)
          (at try.functor each (|>> abstraction))))
 
-  (def: with_sign
+  (def with_sign
     (-> Address (Try S4))
     (|>> representation ///unsigned.value .int ///signed.s4))
 
-  (def: .public (jump from to)
+  (def .public (jump from to)
     (-> Address Address (Try Big_Jump))
     (do try.monad
       [from (with_sign from)
        to (with_sign to)]
       (///signed.-/4 from to)))
 
-  (def: .public (after? reference subject)
+  (def .public (after? reference subject)
     (-> Address Address Bit)
     (n.> (|> reference representation ///unsigned.value)
          (|> subject representation ///unsigned.value)))
 
-  (def: .public equivalence
+  (def .public equivalence
     (Equivalence Address)
     (implementation
-     (def: (= reference subject)
+     (def (= reference subject)
        (at ///unsigned.equivalence =
            (representation reference)
            (representation subject)))))
 
-  (def: .public writer
+  (def .public writer
     (Writer Address)
     (|>> representation ///unsigned.writer/2))
 
-  (def: .public format
+  (def .public format
     (Format Address)
     (|>> representation ///unsigned.value %.nat))
   )