@@ -864,12 +864,9 @@ Extra-source-files:
864 test/unique001/run
864 test/unique001/run
865 test/unique001/*.idr
865 test/unique001/*.idr
866 test/unique001/expected
866 test/unique001/expected
867− test/unique002/run
867+ test/unique004/run
868− test/unique002/*.idr
868+ test/unique004/*.idr
869− test/unique002/expected
869+ test/unique004/expected
871− test/unique003/*.idr
872− test/unique003/expected
874 test/views001/run
871 test/views001/run
875 test/views001/*.idr
872 test/views001/*.idr