From ff268c0e8d10a75c5f82b0ae69feda0ec36faa4b Mon Sep 17 00:00:00 2001 From: Adam Megacz Date: Sat, 26 Mar 2011 01:39:02 -0700 Subject: [PATCH] fix typo --- src/RepresentableStructure_ch7_2.v | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/RepresentableStructure_ch7_2.v b/src/RepresentableStructure_ch7_2.v index 10f9bdd..38d715d 100644 --- a/src/RepresentableStructure_ch7_2.v +++ b/src/RepresentableStructure_ch7_2.v @@ -179,8 +179,8 @@ Coercion smme_me : SurjectiveMonicMonoidalEnrichment >-> MonicMonoidalEnrichment Structure SMME := { smme_e : Enrichment ; smme_mon : MonoidalEnrichment smme_e -; smme_me : MonicMonoidalEnrichment smme_mon +; smme_mee : MonicMonoidalEnrichment _ smme_mon }. Coercion smme_e : SMME >-> Enrichment. -Coercion smme_mon : SMME >-> MonoidalEnrichment smme_e. -Coercion smme_me : SMME >-> MonicMonoidalEnrichment smme_mon. +Coercion smme_mon : SMME >-> MonoidalEnrichment. +Coercion smme_mee : SMME >-> MonicMonoidalEnrichment. -- 1.7.10.4