diff --git a/testdata/eval/positive/4.pdl b/testdata/eval/positive/4.pdl
deleted file mode 100644
index b085c1e190fc0b5055c3f83c27036321c2adc923..0000000000000000000000000000000000000000
--- a/testdata/eval/positive/4.pdl
+++ /dev/null
@@ -1,12 +0,0 @@
-#version 100
-
-composite main() {}
-
-int test() {
-	int x = 5;
-	while (x < 10) {
-	    x += 2;
-	    if (x == 10) return x; // never taken
-	}
-	return x;
-}
\ No newline at end of file