bug...

diff --git a/Robust/src/Runtime/thread.c b/Robust/src/Runtime/thread.c
index c46b100039a8e9544853c44d5adcb9729673b9fa..6f78c414215ea1b1f4895f7263ada396d02deacb 100644 (file)
--- a/Robust/src/Runtime/thread.c
+++ b/Robust/src/Runtime/thread.c
@@ -375,7 +375,7 @@ void CALL11(___Thread______sleep____J, long long ___millis___, long long ___mill
   stopforgc((struct garbagelist *)___params___);
 #endif
 #endif
-  usleep(___millis___);
+  usleep(___millis___*1000);
 #if defined(THREADS)||defined(STM)
 #ifdef PRECISE_GC
   restartaftergc();