diff --git a/testdata/parser/positive/12.pdl b/testdata/parser/positive/12.pdl
deleted file mode 100644
index 8647d44b9249e4d85a23309ec6aa540047e2f247..0000000000000000000000000000000000000000
--- a/testdata/parser/positive/12.pdl
+++ /dev/null
@@ -1,14 +0,0 @@
-#version 100
-
-primitive main(in a, out b) {
-	int x = 0;
-	int y = 0;
-	x += y + 5;
-	y %= x -= 3;
-	x *= x * (x *= 5);
-	while (true) {
-		sync {
-			assert fires(a) == fires(b);
-		}
-	}
-}
\ No newline at end of file