diff --git a/rts/js/time.js b/rts/js/time.js
index 0ea6be1f547a90f553efe67fb1f0d9e8862c9555..a8a35c1178177caa0e57f62bb52ba84d559ff6ef 100644
--- a/rts/js/time.js
+++ b/rts/js/time.js
@@ -16,5 +16,3 @@ function h$clock_gettime(when, p_d, p_o) {
   }
   return 0;
 }
-
-function h$CLOCK_REALTIME() { return 0; }