diff --git a/src/STUBS/mpi.c b/src/STUBS/mpi.c
index ca0e921e13..281a12a4e7 100644
--- a/src/STUBS/mpi.c
+++ b/src/STUBS/mpi.c
@@ -190,6 +190,13 @@ int MPI_Type_size(MPI_Datatype datatype, int *size)
 
 /* ---------------------------------------------------------------------- */
 
+int MPI_Request_free(MPI_Request *request)
+{
+  return 0;
+}
+
+/* ---------------------------------------------------------------------- */
+
 int MPI_Send(const void *buf, int count, MPI_Datatype datatype,
              int dest, int tag, MPI_Comm comm)
 {
diff --git a/src/STUBS/mpi.h b/src/STUBS/mpi.h
index 82cbe302ba..1eca1ec527 100644
--- a/src/STUBS/mpi.h
+++ b/src/STUBS/mpi.h
@@ -89,6 +89,7 @@ int MPI_Finalize();
 double MPI_Wtime();
 
 int MPI_Type_size(int, int *);
+int MPI_Request_free(MPI_Request *request);
 
 int MPI_Send(const void *buf, int count, MPI_Datatype datatype,
              int dest, int tag, MPI_Comm comm);