@@ -294,6 +294,10 @@ Extra-source-files:
294 test/interactive001/input
294 test/interactive001/input
295 test/interactive001/*.idr
295 test/interactive001/*.idr
296 test/interactive001/expected
296 test/interactive001/expected
297+ test/interactive002/run
298+ test/interactive002/input
299+ test/interactive002/*.idr
300+ test/interactive002/expected
298 test/io001/run
302 test/io001/run
299 test/io001/*.idr
303 test/io001/*.idr