aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/aedifex/package.lux
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/test/aedifex/package.lux5
1 files changed, 3 insertions, 2 deletions
diff --git a/stdlib/source/test/aedifex/package.lux b/stdlib/source/test/aedifex/package.lux
index 770bbee0a..035765b17 100644
--- a/stdlib/source/test/aedifex/package.lux
+++ b/stdlib/source/test/aedifex/package.lux
@@ -1,7 +1,6 @@
(.require
[library
[lux (.except)
- ["_" test (.only Test)]
[abstract
[monad (.only do)]
[\\specification
@@ -22,7 +21,9 @@
[number
["n" nat]]]
[world
- ["[0]" file]]]]
+ ["[0]" file]]
+ [test
+ ["_" property (.only Test)]]]]
[//
["$[0]" profile]
[//