@@ -535,6 +535,9 @@ Extra-source-files:
535535 test/interactive009/input
536536 test/interactive009/*.idr
537537 test/interactive009/expected
538+ test/interactive010/expected
539+ test/interactive010/input
540+ test/interactive010/run
538541
539542 test/io001/run
540543 test/io001/*.idr