1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/library/lux/target/jvm/attribute/code/exception.lux b/stdlib/source/library/lux/target/jvm/attribute/code/exception.lux
index b71573669..f71d52cfd 100644
--- a/stdlib/source/library/lux/target/jvm/attribute/code/exception.lux
+++ b/stdlib/source/library/lux/target/jvm/attribute/code/exception.lux
@@ -26,7 +26,7 @@
     #handler Address
     #catch (Index Class)]))
 
-(def: .public equivalence
+(def .public equivalence
   (Equivalence Exception)
   (all product.equivalence
        ////address.equivalence
@@ -36,7 +36,7 @@
        ))
 
 ... https://docs.oracle.com/javase/specs/jvms/se8/html/jvms-4.html#jvms-4.7.3
-(def: .public length
+(def .public length
   Nat
   (all n.+
        ... u2 start_pc;
@@ -49,7 +49,7 @@
        ////unsigned.bytes/2
        ))
 
-(def: .public writer
+(def .public writer
   (Writer Exception)
   (all \\format.and
        ////address.writer