From b347920c7900f8509a60df074956ce4fe90b54ca Mon Sep 17 00:00:00 2001
From: Martin Stjernholm <mast@lysator.liu.se>
Date: Fri, 11 Jul 2008 16:35:13 +0200
Subject: [PATCH] Fixed a warning.

Rev: src/builtin.cmod:1.223
---
 src/builtin.cmod | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/builtin.cmod b/src/builtin.cmod
index e324d6c644..69bf6ea4b8 100644
--- a/src/builtin.cmod
+++ b/src/builtin.cmod
@@ -2,7 +2,7 @@
 || This file is part of Pike. For copyright information see COPYRIGHT.
 || Pike is distributed under GPL, LGPL and MPL. See the file COPYING
 || for more information.
-|| $Id: builtin.cmod,v 1.222 2008/07/08 12:27:05 grubba Exp $
+|| $Id: builtin.cmod,v 1.223 2008/07/11 14:35:13 mast Exp $
 */
 
 #include "global.h"
@@ -2939,7 +2939,7 @@ PIKECLASS Timer
     if( THIS->hard_update )
       GETTIMEOFDAY( &current_time );
     res = current_time.tv_sec-THIS->last_time.tv_sec +
-      (current_time.tv_usec-THIS->last_time.tv_usec)/1000000.0;
+      (current_time.tv_usec-THIS->last_time.tv_usec)/(FLOAT_TYPE) 1000000.0;
     RETURN res;
   }
 
-- 
GitLab