@@ -864,12 +864,9 @@ Extra-source-files:
864864 test/unique001/run
865865 test/unique001/*.idr
866866 test/unique001/expected
867− test/unique002/run
868− test/unique002/*.idr
869− test/unique002/expected
870− test/unique003/run
871− test/unique003/*.idr
872− test/unique003/expected
867+ test/unique004/run
868+ test/unique004/*.idr
869+ test/unique004/expected
873870
874871 test/views001/run
875872 test/views001/*.idr