Rename sg_surf_precision to sg_precision_timing for clarity

[simgrid.git] / src / smpi / bindings / smpi_pmpi.cpp

diff --git a/src/smpi/bindings/smpi_pmpi.cpp b/src/smpi/bindings/smpi_pmpi.cpp
index d825ffe..3168044 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();
 }
 
-extern double sg_surf_precision;
+extern double sg_precision_timing;
 double PMPI_Wtick()
 {
-  return sg_surf_precision;
+  return sg_precision_timing;
 }
 
 int PMPI_Address(const void* location, MPI_Aint* address)