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