diff --git a/testdata/parser/counterexamples/arity_checking.pdl b/testdata/parser/counterexamples/arity_checking.pdl
deleted file mode 100644
index 7a54b6d63de3491a39758dbc4cd4bb4d23cab59f..0000000000000000000000000000000000000000
--- a/testdata/parser/counterexamples/arity_checking.pdl
+++ /dev/null
@@ -1,17 +0,0 @@
-
-int funcy() {
-    return 5;
-}
-
-int funcadelic(int a) {
-    return  a;
-}
-
-int caller() {
-    funcy();
-    funcy(1);
-    funcy(1, 2, 3);
-    funcadelic();
-    funcadelic(5);
-    return funcadelic(1, 2, 3);
-}