Moving surf_double_update (in surf_private.h) to double_update (in maxmin.h)

[simgrid.git] / src / surf / surf_private.h

diff --git a/src/surf/surf_private.h b/src/surf/surf_private.h
index d53793bdd6f4eed973ebbc294d8ead4d86f945e9..56266fbf809dbd5783fbeb0b6158603a0243c0e4 100644 (file)
--- a/src/surf/surf_private.h
+++ b/src/surf/surf_private.h
@@ -61,11 +61,6 @@ void surf_action_set_data(surf_action_t action,
                          void *data);
 FILE *surf_fopen(const char *name, const char *mode);
 
-static _XBT_INLINE void surf_double_update(double *variable, double value) 
-{
-  *variable -= value;
-  if(*variable< 0.00001) *variable = 0.0;
-}
 extern lmm_system_t maxmin_system;
 extern tmgr_history_t history;
 extern xbt_dynar_t surf_path;