diff --git a/testdata/parser/positive/11.pdl b/testdata/parser/positive/11.pdl
deleted file mode 100644
index 13f7f57bc2d5afdf5853057957afeab1fc91788a..0000000000000000000000000000000000000000
--- a/testdata/parser/positive/11.pdl
+++ /dev/null
@@ -1,17 +0,0 @@
-#version 100
-
-primitive main(in a, out b) {
-	msg x = null;
-	while (x == null) {
-		sync {
-			if (fires(a))
-				x = get(a);
-		}
-	}
-	while (true) {
-		sync {
-			if (fires(b))
-				put(b, x);
-		}
-	}
-}
\ No newline at end of file