@@ -598,6 +598,10 @@ Extra-source-files:
598 test/io003/*.idr
598 test/io003/*.idr
599 test/io003/expected
599 test/io003/expected
601+ test/layout001/expected
602+ test/layout001/*.idr
601 test/literate001/run
605 test/literate001/run
602 test/literate001/*.lidr
606 test/literate001/*.lidr
603 test/literate001/expected
607 test/literate001/expected