From 3386254cb6f5fc36c5cb18b7240edde3210a376c Mon Sep 17 00:00:00 2001
From: Jacques Comeaux <jacquesrcomeaux@protonmail.com>
Date: Sun, 4 Jan 2026 16:15:11 -0600
Subject: Add category of symmetric monoidal preorders

---
 Category/Instance/MonoidalPreorders.agda | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'Category/Instance/MonoidalPreorders.agda')

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)
-- 
cgit v1.2.3