@@ -803,10 +803,10 @@ Extra-source-files:
803 test/totality011/*.lidr
803 test/totality011/*.lidr
804 test/totality011/expected
804 test/totality011/expected
805 test/totality012/run
805 test/totality012/run
806− test/totality012/*.lidr
806+ test/totality012/*.idr
807 test/totality012/expected
807 test/totality012/expected
808 test/totality013/run
808 test/totality013/run
809− test/totality013/*.lidr
809+ test/totality013/*.idr
810 test/totality013/expected
810 test/totality013/expected
812 test/tutorial001/run
812 test/tutorial001/run