From 60779eea3601f62b0d59b0fcf28fd0cfb99383f6 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Anders=20M=C3=B6rtberg?= Date: Sun, 25 Dec 2016 22:34:40 +0100 Subject: [PATCH] swap direction of equality to match order in comment --- examples/opposite.ctt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/examples/opposite.ctt b/examples/opposite.ctt index 6c01312..4d27e54 100644 --- a/examples/opposite.ctt +++ b/examples/opposite.ctt @@ -31,5 +31,5 @@ oppCat (C : precategory) : precategory = (Copp,isPrecategoryCopp) isPrecategoryCopp : isPrecategory Copp = (idOpp,compOpp,isPrecategory2Copp) -oppOppCat (C : precategory) : Path precategory C (oppCat (oppCat C)) = +oppOppCat (C : precategory) : Path precategory (oppCat (oppCat C)) C = C -- 2.34.1