diff --git a/testdata/parser/counterexamples/integer_specification.pdl b/testdata/parser/counterexamples/integer_specification.pdl
deleted file mode 100644
index 07c1185d7efddc971274d205eb72edbbc8a28bbf..0000000000000000000000000000000000000000
--- a/testdata/parser/counterexamples/integer_specification.pdl
+++ /dev/null
@@ -1,10 +0,0 @@
-#version 1
-
-int check_integer_specs() {
-    int a = 0xFF;
-    // no octal support, but thats fine
-    int b = 0xxxxFF;
-    int c = 0x1x2X3x4X5x6X7x8X; // Wut
-    int d = 1FF;
-    return a;
-}
\ No newline at end of file