diff --git a/testdata/parser/counterexamples/multiple_versions.pdl b/testdata/parser/counterexamples/multiple_versions.pdl deleted file mode 100644 index 59a7b30d9440295e30f8731eb62725e52411e125..0000000000000000000000000000000000000000 --- a/testdata/parser/counterexamples/multiple_versions.pdl +++ /dev/null @@ -1,4 +0,0 @@ -#version 1 -#version 2 - -composite main() {}