1 files changed, 1 insertions, 0 deletions
diff --git a/include/mpi.h b/include/mpi.h
index a027d2a79..a4c16f5af 100644
--- a/include/mpi.h
+++ b/include/mpi.h
@@ -81,6 +81,7 @@ void *mpi_get_opaque( MPI a, unsigned int *len );
 void mpi_set_secure( MPI a );
 void mpi_clear( MPI a );
 void mpi_set( MPI w, MPI u);
+void mpi_set_cond( MPI w, MPI u, unsigned long set);
 void mpi_set_ui( MPI w, ulong u);
 MPI  mpi_alloc_set_ui( unsigned long u);
 void mpi_m_check( MPI a );