diff --git a/tools/coverity/testing.c b/tools/coverity/testing.c
deleted file mode 100644
index e69de29b..00000000