diff --git a/packages/mybadfile.c b/packages/mybadfile.c deleted file mode 100644 index 849bfda8ac96..000000000000 --- a/packages/mybadfile.c +++ /dev/null @@ -1 +0,0 @@ -MPI_COMM_WORLD()