@@ -803,10 +803,10 @@ Extra-source-files:
803803 test/totality011/*.lidr
804804 test/totality011/expected
805805 test/totality012/run
806− test/totality012/*.lidr
806+ test/totality012/*.idr
807807 test/totality012/expected
808808 test/totality013/run
809− test/totality013/*.lidr
809+ test/totality013/*.idr
810810 test/totality013/expected
811811
812812 test/tutorial001/run