diff options
Diffstat (limited to 'Cospan')
| -rw-r--r-- | Cospan/Decorated.agda | 2 |
1 files changed, 1 insertions, 1 deletions
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 (_⊔_) |