From f32b453f46c267383528c895fdc2913e80522399 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Date: Tue, 8 Mar 2011 22:59:20 +0100
Subject: [PATCH 1/1] Remove unused default for 2nd parameter of
 sleep_until_date.

---
 process.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/process.cpp b/process.cpp
index c519cd8..bf016ef 100644
--- a/process.cpp
+++ b/process.cpp
@@ -21,7 +21,7 @@ double process::total_load_exit = 0.0;
 
 namespace {
 
-    void sleep_until_date(double& date, double duration = 0.0)
+    void sleep_until_date(double& date, double duration)
     {
         double sleep_duration = date - MSG_get_clock();
         if (sleep_duration > 0.0)
-- 
2.39.5