diff --git a/src/STUBS/mpi.cpp b/src/STUBS/mpi.cpp
index f938c26f21..22cbc9af17 100644
--- a/src/STUBS/mpi.cpp
+++ b/src/STUBS/mpi.cpp
@@ -300,7 +300,7 @@ int MPI_Irecv(void *buf, int count, MPI_Datatype datatype, int source, int tag,
 
 /* ---------------------------------------------------------------------- */
 
-int MPI_Iprobe(int, int, MPI_Comm, int *flag, MPI_Status *);
+int MPI_Iprobe(int, int, MPI_Comm, int *flag, MPI_Status *)
 {
   if (flag) *flag = 0;
   return 0;