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
9 years ago · a8f26d2346
1 changed files with 3 additions and 1 deletions
--- 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