diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/lux/abstract/comonad/cofree.lux | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/source/test/lux/abstract/comonad/cofree.lux b/stdlib/source/test/lux/abstract/comonad/cofree.lux index 82647f79d..d44c592d0 100644 --- a/stdlib/source/test/lux/abstract/comonad/cofree.lux +++ b/stdlib/source/test/lux/abstract/comonad/cofree.lux @@ -5,7 +5,7 @@ [abstract [functor (#+ Functor)] [comonad (#+ CoMonad)] - [\\spec + [\\specification ["$." functor (#+ Injection Comparison)] ["$." comonad]]] [control |