From c545bc62a78fdb8a6b375bcf1a8b0652d74b2d83 Mon Sep 17 00:00:00 2001
From: Alexander Medvednikov <alexander@medvednikov.com>
Date: Tue, 25 Jun 2019 22:20:51 +0200
Subject: [PATCH] time_lin.v: f64

---
 time/time_lin.v | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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) {