@@ -424,6 +424,7 @@ Extra-source-files:
424 test/idrisdoc008/*.ipkg
424 test/idrisdoc008/*.ipkg
425 test/idrisdoc009/run
425 test/idrisdoc009/run
426 test/idrisdoc009/expected
426 test/idrisdoc009/expected
427+ test/idrisdoc009/input
427 test/idrisdoc009/*.idr
428 test/idrisdoc009/*.idr