@@ -615,6 +615,10 @@ Extra-source-files:
615 test/meta004/*.idr
615 test/meta004/*.idr
616 test/meta004/expected
616 test/meta004/expected
618+ test/prelude001/expected
619+ test/prelude001/prelude001.idr
618 test/primitives001/run
622 test/primitives001/run
619 test/primitives001/*.idr
623 test/primitives001/*.idr
620 test/primitives001/expected
624 test/primitives001/expected