Add test031 to cabal file
commitd114d3982e08e6f17b960e055190b66e95afd35e
authorDavid Christiansen <david@davidchristiansen.dk>
dateFri 27 Sep 2013, 11:32 (13 years ago)
parent3a69398
idris.cabal+3
@@ -233,6 +233,9 @@ Extra-source-files: lib/Makefile lib/*.idr lib/Prelude/*.idr
233233 test/test030/run
234234 test/test030/*.idr
235235 test/test030/expected
236+ test/test031/run
237+ test/test031/*.idr
238+ test/test031/expected
236239
237240
238241source-repository head