diff --git a/time/time_lin.v b/time/time_lin.v
index 9b1a3a27cf..2c18cfc381 100644
--- a/time/time_lin.v
+++ b/time/time_lin.v
@@ -5,8 +5,8 @@
 module time
 
 // in ms
-fn ticks() double {
-	return double(0)
+fn ticks() f64 {
+	return f64(0)
 }
 
 fn sleep(seconds int) {