@@ -294,6 +294,10 @@ Extra-source-files:
294294 test/interactive001/input
295295 test/interactive001/*.idr
296296 test/interactive001/expected
297+ test/interactive002/run
298+ test/interactive002/input
299+ test/interactive002/*.idr
300+ test/interactive002/expected
297301
298302 test/io001/run
299303 test/io001/*.idr