add AMPI_HasCheckpoint()
[charm.git] / src / libs / ck-libs / ampi / ampi.h
index be26c398dfa1d5c12a272030697976974c24d32e..b0c4b03c67b58d227bc0b2996e24dc25c5206574 100644 (file)
@@ -638,6 +638,8 @@ void AMPI_ChkpSync();
 
 #define MPI_Die AMPI_Die
 void AMPI_Die();
+#define MPI_HasCheckpoint AMPI_HasCheckpoint
+int AMPI_HasCheckpoint();
 
 #define MPI_Get_userdata AMPI_Get_userdata
 void *AMPI_Get_userdata(int);