From 1125b293e3159dfe5e6352c6b81d68e949913136 Mon Sep 17 00:00:00 2001
From: rlar <rlar>
Date: Sun, 13 Mar 2016 18:23:31 +0100
Subject: [PATCH] frontend/resource.c, bug fix, lastusec actually denotes
 milliseconds

---
 src/frontend/resource.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/frontend/resource.c b/src/frontend/resource.c
index 796bee65e..4e5376e69 100644
--- a/src/frontend/resource.c
+++ b/src/frontend/resource.c
@@ -268,7 +268,7 @@ printres(char *name)
 #ifdef XSPICE
         /* gtri - add - 12/12/90 - wbk - record cpu time used for ipc */
         g_ipc.cpu_time = (double) lastusec;
-        g_ipc.cpu_time /= 1.0e6;
+        g_ipc.cpu_time /= 1000.0;
         g_ipc.cpu_time += (double) lastsec;
         /* gtri - end - 12/12/90 */
 #endif