From aa691ea26c5dc8fd15b3b60b95a2c23b4888c45d Mon Sep 17 00:00:00 2001
From: Bert Belder <bertbelder@gmail.com>
Date: Tue, 2 Oct 2018 17:47:40 -0700
Subject: timers: implement timers in javascript

---
 src/msg.fbs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/msg.fbs')

diff --git a/src/msg.fbs b/src/msg.fbs
index b9989c330..68de166ce 100644
--- a/src/msg.fbs
+++ b/src/msg.fbs
@@ -128,7 +128,7 @@ table CodeCache {
 }
 
 table SetTimeout {
-  timeout: int;
+  timeout: double;
 }
 
 table Exit {
-- 
cgit v1.2.3