aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/specification/lux/abstract/codec.lux
diff options
context:
space:
mode:
authorEduardo Julian2022-06-16 00:48:19 -0400
committerEduardo Julian2022-06-16 00:48:19 -0400
commit9e2f1e76f2c8df01ed7687d934c3210fcf676bd6 (patch)
tree115fab5bd8a5f53dc0d13ce5453095324a83496f /stdlib/source/specification/lux/abstract/codec.lux
parentf92c806ee8da63f04bbefbf558f6249bacdb47ea (diff)
De-sigil-ification: suffix : [Part 13]
Diffstat (limited to 'stdlib/source/specification/lux/abstract/codec.lux')
-rw-r--r--stdlib/source/specification/lux/abstract/codec.lux2
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/source/specification/lux/abstract/codec.lux b/stdlib/source/specification/lux/abstract/codec.lux
index 59d8b5104..9c91c18e9 100644
--- a/stdlib/source/specification/lux/abstract/codec.lux
+++ b/stdlib/source/specification/lux/abstract/codec.lux
@@ -13,7 +13,7 @@
[//
[equivalence (.only Equivalence)]]]])
-(def: .public (spec (open "@//[0]") (open "@//[0]") generator)
+(def .public (spec (open "@//[0]") (open "@//[0]") generator)
(All (_ m a) (-> (Equivalence a) (/.Codec m a) (Random a) Test))
(do random.monad
[expected generator]