@@ -230,9 +230,9 @@ Extra-source-files:
230 test/reg039/run
230 test/reg039/run
231 test/reg039/*.idr
231 test/reg039/*.idr
232 test/reg039/expected
232 test/reg039/expected
233− test/reg040/run
233+ test/reg041/run
234− test/reg040/*.idr
234+ test/reg041/*.idr
235− test/reg040/expected
235+ test/reg041/expected
237 test/basic001/run
237 test/basic001/run
238 test/basic001/*.idr
238 test/basic001/*.idr