diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/lux/type/quotient.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/test/lux/type/quotient.lux b/stdlib/source/test/lux/type/quotient.lux index a0f2fa444..c8652e8c7 100644 --- a/stdlib/source/test/lux/type/quotient.lux +++ b/stdlib/source/test/lux/type/quotient.lux @@ -7,12 +7,12 @@ [\\specification ["$[0]" equivalence]]] [data - ["[0]" text ("[1]#[0]" equivalence) + ["[0]" text (.open: "[1]#[0]" equivalence) ["%" format (.only format)]]] [math ["[0]" random (.only Random)] [number - ["n" nat ("[1]#[0]" equivalence)]]]]] + ["n" nat (.open: "[1]#[0]" equivalence)]]]]] [\\library ["[0]" /]]) |