From a8f26d234684fd0f2a2b8cc405596ddece948caf Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Thu, 13 Jul 2017 08:24:32 +0000
Subject: [PATCH] cudd, cpu_time.c: Include time.h for MINGW32 target

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@12018 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 cudd/util/cpu_time.c | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/cudd/util/cpu_time.c b/cudd/util/cpu_time.c
index 62088b9e..b284fcda 100644
--- a/cudd/util/cpu_time.c
+++ b/cudd/util/cpu_time.c
@@ -24,7 +24,9 @@
 #include <time.h>
 #endif
 
-
+#ifdef __MINGW32__
+#include <time.h>
+#endif
 
 /*
  *   util_cpu_time -- return a long which represents the elapsed processor