diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/lux/lang/type/check.lux | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/source/lux/lang/type/check.lux b/stdlib/source/lux/lang/type/check.lux index ab1b6be1d..fa21654b7 100644 --- a/stdlib/source/lux/lang/type/check.lux +++ b/stdlib/source/lux/lang/type/check.lux @@ -9,7 +9,7 @@ [maybe] [product] (coll [list] - (set ["set" unordered #+ Set])) + [set #+ Set]) ["e" error]) (lang [type "type/" Equivalence<Type>]) )) |