Use the right free function.

diff --git a/teshsuite/s4u/evaluate-parse-time/evaluate-parse-time.cpp b/teshsuite/s4u/evaluate-parse-time/evaluate-parse-time.cpp
index 2eb12c6..cebfa6c 100644 (file)
--- a/teshsuite/s4u/evaluate-parse-time/evaluate-parse-time.cpp
+++ b/teshsuite/s4u/evaluate-parse-time/evaluate-parse-time.cpp
@@ -28,6 +28,6 @@ int main(int argc, char** argv)
     xbt_os_sleep(atoi(argv[2]));
   }
 
-  free(timer);
+  xbt_os_timer_free(timer);
   return 0;
 }