diff options
Diffstat (limited to 'Category/Instance/MonoidalPreorders.agda')
| -rw-r--r-- | Category/Instance/MonoidalPreorders.agda | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Category/Instance/MonoidalPreorders.agda b/Category/Instance/MonoidalPreorders.agda index 6bdeb3f..6f8ffe0 100644 --- a/Category/Instance/MonoidalPreorders.agda +++ b/Category/Instance/MonoidalPreorders.agda @@ -71,5 +71,5 @@ MonoidalPreorders c ℓ e = categoryHelper record ; ∘-resp-≈ = λ {_ _ C _ h} f≈h g≈i → Eq.trans C f≈h (cong h g≈i) } where - open MonoidalMonotone using (F; cong) - open MonoidalPreorder using (U; refl; module Eq) + open MonoidalMonotone using (cong) + open MonoidalPreorder using (refl; module Eq) |