1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/test/lux/ffi/export.rb.lux b/stdlib/source/test/lux/ffi/export.rb.lux
index f107536f2..3b17b4c2c 100644
--- a/stdlib/source/test/lux/ffi/export.rb.lux
+++ b/stdlib/source/test/lux/ffi/export.rb.lux
@@ -12,16 +12,16 @@
 
 (with_expansions [<nat> (static.random_nat)]
   (/.export
-    (def: nullary
+    (def nullary
       Nat
       <nat>)
-    (def: unary
+    (def unary
       (-> Nat Nat)
       (|>> (n.+ <nat>)))
-    (def: CONSTANT
+    (def CONSTANT
       Nat
       <nat>)
-    (def: $global
+    (def $global
       (-> Nat Nat)
       (|>> (n.+ <nat>))))
 
@@ -30,7 +30,7 @@
   (//.import (CONSTANT Nat))
   (//.import ($global (-> Nat Nat)))
 
-  (def: .public test
+  (def .public test
     Test
     (<| (_.covering /._)
         (all _.and