diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/lux/abstract/order.lux | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/source/test/lux/abstract/order.lux b/stdlib/source/test/lux/abstract/order.lux index 640dc0e8c..9c527ccb3 100644 --- a/stdlib/source/test/lux/abstract/order.lux +++ b/stdlib/source/test/lux/abstract/order.lux @@ -14,7 +14,7 @@ [number ["n" nat]]]]] [\\library - ["[0]" / + ["[0]" / (.only) [// [equivalence (.only Equivalence)]]]]) |