From cb8f2b36352948108446c7e3b270faa97589bf7a Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sun, 25 Oct 2020 23:16:14 -0400
Subject: Some small refactoring.

---
 stdlib/source/spec/lux/abstract/comonad.lux | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'stdlib/source/spec')

diff --git a/stdlib/source/spec/lux/abstract/comonad.lux b/stdlib/source/spec/lux/abstract/comonad.lux
index 3dfda0bbf..e434f6ab1 100644
--- a/stdlib/source/spec/lux/abstract/comonad.lux
+++ b/stdlib/source/spec/lux/abstract/comonad.lux
@@ -51,11 +51,11 @@
             (== (|> start _@split (_@map (|>> _@split (_@map increase) decrease)))
                 (|> start _@split (_@map increase) _@split (_@map decrease))))))
 
-(def: #export (spec injection comparison monad)
+(def: #export (spec injection comparison subject)
   (All [f] (-> (Injection f) (Comparison f) (CoMonad f) Test))
   (<| (_.with-cover [/.CoMonad])
       ($_ _.and
-          (..left-identity injection monad)
-          (..right-identity injection comparison monad)
-          (..associativity injection comparison monad)
+          (..left-identity injection subject)
+          (..right-identity injection comparison subject)
+          (..associativity injection comparison subject)
           )))
-- 
cgit v1.2.3