From fd8f5647db320fb30d87e155c4a84cafb633ea27 Mon Sep 17 00:00:00 2001
From: "Michael I. Bushnell" <mib@gnu.org>
Date: Mon, 27 Nov 1995 21:57:39 +0000
Subject: Formerly mapped-time.h.~3~

---
 pfinet/mapped-time.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pfinet/mapped-time.h b/pfinet/mapped-time.h
index ec4aaddc..e5972664 100644
--- a/pfinet/mapped-time.h
+++ b/pfinet/mapped-time.h
@@ -35,7 +35,7 @@ fetch_jiffies ()
     }
   while (secs != mapped_time->check_seconds);
   
-  j = (long long) secs * HZ + (long long) usecs * HZ / 1000.0;
+  j = (long long) secs * HZ + ((long long) usecs * HZ) / 1000;
   return j - root_jiffies;
 }
 
-- 
cgit v1.2.3