diff --git a/testdata/parser/negative/25.pdl b/testdata/parser/negative/25.pdl
deleted file mode 100644
index 621eb43c219cf9628496e49592b7f9a3ca8178e6..0000000000000000000000000000000000000000
--- a/testdata/parser/negative/25.pdl
+++ /dev/null
@@ -1,11 +0,0 @@
-#version 100
-
-primitive main(in a, out b) {
-	int x = 0;
-	int y = 0;
-	while (true) {
-		synchronous (int x) { // illegal
-			assert fires(a) == fires(b);
-		}
-	}
-}
\ No newline at end of file