Rename test in idris.cabal too...
commitfc17f286032decd5d4337f0726eb7b2db60211d2
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateSun 20 Apr 2014, 16:42 (13 years ago)
parent9302221
idris.cabal+3−3
@@ -230,9 +230,9 @@ Extra-source-files:
230230 test/reg039/run
231231 test/reg039/*.idr
232232 test/reg039/expected
233− test/reg040/run
234− test/reg040/*.idr
235− test/reg040/expected
233+ test/reg041/run
234+ test/reg041/*.idr
235+ test/reg041/expected
236236
237237 test/basic001/run
238238 test/basic001/*.idr