swap direction of equality to match order in comment

diff --git a/examples/opposite.ctt b/examples/opposite.ctt
index 6c01312530ac165fa8d60473ed88925cfbaf86f1..4d27e54c331da00ef02c8ca2bc198e7d6fae7e62 100644 (file)
--- 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 =
   <i> C