Use surf_precision as a value for PMPI_Wtick

the unit of maxmin_precision is in flops or bytes (that's an amount of
work) while the unit of surf_precision is in seconds (that's a time).

diff --git a/src/smpi/bindings/smpi_pmpi.cpp b/src/smpi/bindings/smpi_pmpi.cpp
index ab73411..d825ffe 100644 (file)
--- a/src/smpi/bindings/smpi_pmpi.cpp
+++ b/src/smpi/bindings/smpi_pmpi.cpp
@@ -152,10 +152,10 @@ double PMPI_Wtime()
   return smpi_mpi_wtime();
 }
 
   return smpi_mpi_wtime();
 }
 

-extern double sg_maxmin_precision;
+extern double sg_surf_precision;

 double PMPI_Wtick()
 {
 double PMPI_Wtick()
 {

-  return sg_maxmin_precision;
+  return sg_surf_precision;

 }
 
 int PMPI_Address(const void* location, MPI_Aint* address)
 }
 
 int PMPI_Address(const void* location, MPI_Aint* address)