Add input for interactive test
commit9a926d5002603e5ec69b51820bc9f630b2ce1be1
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateFri 31 Jan 2014, 11:37 (13 years ago)
parenta90726b
idris.cabal+1
@@ -283,6 +283,7 @@ Extra-source-files:
283283 test/ffi004/expected
284284
285285 test/interactive001/run
286+ test/interactive001/input
286287 test/interactive001/*.idr
287288 test/interactive001/expected
288289