From cb2efa506d9ecec48aad72deb10acb6ffba45970 Mon Sep 17 00:00:00 2001
From: Jacques Comeaux <jacquesrcomeaux@protonmail.com>
Date: Mon, 8 Dec 2025 15:30:53 -0600
Subject: Update category of cospans

---
 Cospan/Decorated.agda | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Cospan')

diff --git a/Cospan/Decorated.agda b/Cospan/Decorated.agda
index 498a869..b5d6f07 100644
--- a/Cospan/Decorated.agda
+++ b/Cospan/Decorated.agda
@@ -17,7 +17,7 @@ module Cospan.Decorated
 module C = FinitelyCocompleteCategory C
 module D = SymmetricMonoidalCategory D
 
-open import Category.Instance.Cospans C using (Cospan)
+open import Category.Diagram.Cospan C using (Cospan)
 open import Level using (_⊔_)
 
 
-- 
cgit v1.2.3