Swap test2 and test3 to correspond to what is in cubical

diff --git a/examples/pi1S2.ctt b/examples/pi1S2.ctt
index 561f9e32a4626f4cf7d3dee939a735fcbd7fcf01..0d827ab8e0555b73fb8f590474eda44f3c335409 100644 (file)
--- a/examples/pi1S2.ctt
+++ b/examples/pi1S2.ctt
@@ -39,6 +39,7 @@ meridSstwo : Id stwo north south = <i>merid{stwo} south@i
 trivstwo : pi1stwo = inc (refl stwo north)
 loopstwo : pi1stwo = inc (compId stwo north south north meridNstwo (<i>meridSstwo@-i))
 
+test2 : Id pi1stwo trivstwo trivstwo = propPi1stwo trivstwo trivstwo
+
+test3 : Id pi1stwo trivstwo loopstwo = propPi1stwo trivstwo loopstwo
 
-test2 : Id pi1stwo trivstwo loopstwo = propPi1stwo trivstwo loopstwo
-test3 : Id pi1stwo trivstwo trivstwo = propPi1stwo trivstwo trivstwo