diff --git a/testdata/parser/positive/10.pdl b/testdata/parser/positive/10.pdl
deleted file mode 100644
index 90775a2e3eebce117a5dd01995229ae5d903480b..0000000000000000000000000000000000000000
--- a/testdata/parser/positive/10.pdl
+++ /dev/null
@@ -1,27 +0,0 @@
-#version 100
-
-composite main() {}
-
-primitive example(in a, out[] b) {
-	while (true) {
-		sync {
-			if (fires(a)) {
-				int i = 0;
-				while (i < b.length) {
-					if (fires(b[i])) {
-						int j = i + 1;
-						while (j < b.length)
-							assert !fires(b[j++]);
-						break;
-					}
-					i++;
-				}
-				assert i < b.length;
-			} else {
-				int i = 0;
-				while (i < b.length)
-					assert !fires(b[i++]);
-			}
-		}
-	}
-}
\ No newline at end of file