From 248f0f374e29177dccec7454b7a88c0fb059b828 Mon Sep 17 00:00:00 2001
From: dwarning <dwarning>
Date: Wed, 14 Nov 2007 20:26:01 +0000
Subject: [PATCH] include prototype for timediff

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

diff --git a/src/frontend/resource.c b/src/frontend/resource.c
index 8e9268c3f..e46bbf772 100644
--- a/src/frontend/resource.c
+++ b/src/frontend/resource.c
@@ -8,7 +8,7 @@ $Id$
  * Resource-related routines.
  */
 
-#include <config.h>
+#include "config.h"
 #include "ngspice.h"
 #include "cpdefs.h"
 #include "ftedefs.h"
@@ -18,6 +18,7 @@ $Id$
 #include "resource.h"
 #include "variable.h"
 #include "cktdefs.h"
+#include "src/misc/misc_time.h" /* timediff */
 
 #ifdef XSPICE
 /* gtri - add - 12/12/90 - wbk - include ipc stuff */