diff options
Diffstat (limited to 'stdlib/source/test/aedifex/profile.lux')
-rw-r--r-- | stdlib/source/test/aedifex/profile.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/test/aedifex/profile.lux b/stdlib/source/test/aedifex/profile.lux index 387a9c2aa..80733a9ee 100644 --- a/stdlib/source/test/aedifex/profile.lux +++ b/stdlib/source/test/aedifex/profile.lux @@ -4,8 +4,8 @@ [abstract [monad (.only do)] [hash (.only Hash)] - [\\specification - ["$[0]" equivalence]] + ["[0]" equivalence + ["[1]T" \\test]] ["[0]" monoid ["[1]T" \\test]]] [control @@ -161,7 +161,7 @@ /.Source /.Target /.Name /.Profile] (`` (all _.and (_.for [/.equivalence] - ($equivalence.spec /.equivalence ..random)) + (equivalenceT.spec /.equivalence ..random)) (_.for [/.monoid] (monoidT.spec /.equivalence /.monoid ..random)) |