From 3871b0b0de5c4a7420635305a67bfef7e91a8836 Mon Sep 17 00:00:00 2001
From: donassbr <donassbr@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Date: Thu, 12 Jul 2007 10:55:53 +0000
Subject: [PATCH] Type casting. Bug solved.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@3744 48e7efb5-ca39-0410-a469-dd3cf9ba447f
---
 examples/gras/synchro/philosopher.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/examples/gras/synchro/philosopher.c b/examples/gras/synchro/philosopher.c
index b85aac1007..3ce27ca634 100644
--- a/examples/gras/synchro/philosopher.c
+++ b/examples/gras/synchro/philosopher.c
@@ -70,9 +70,9 @@ static void philo_thread(void *arg) {
    
    for (i=0; i<lunch_amount; i++) {
       pickup(id,i);
-      gras_os_sleep(id / 10); /* each philosopher sleeps and eat a time related to its ID */
+      gras_os_sleep(id / 10.0); /* each philosopher sleeps and eat a time related to its ID */
       putdown(id);
-      gras_os_sleep(id / 10);
+      gras_os_sleep(id / 10.0);
    }
    
    xbt_mutex_lock(mut_end);
-- 
2.20.1