aboutsummaryrefslogtreecommitdiff
path: root/stdlib/test/tests.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/test/tests.lux')
-rw-r--r--stdlib/test/tests.lux6
1 files changed, 4 insertions, 2 deletions
diff --git a/stdlib/test/tests.lux b/stdlib/test/tests.lux
index 1742334d8..12ab83fc0 100644
--- a/stdlib/test/tests.lux
+++ b/stdlib/test/tests.lux
@@ -74,7 +74,8 @@
["_." udp]))
))
(lux (control [contract]
- [concatenative])
+ [concatenative]
+ [predicate])
(data [env]
[trace]
[store]
@@ -85,7 +86,8 @@
(coll (tree ["tree_." parser])))
[macro]
(macro (poly [json]))
- (type [unit])
+ (type [unit]
+ [refinement])
[world/env]
[world/console])
)