windows wants process.h

Daniel Kroening · Daniel Kroening · commit 83ea3dc4eb0e · 2016-12-05T16:59:10.000Z
diff --git a/src/util/signal_catcher.cpp b/src/util/signal_catcher.cpp
@@ -9,7 +9,7 @@ Author: Daniel Kroening, kroening@kroening.com
 \*******************************************************************/
 
 #if defined(_WIN32)
-
+#include <process.h>
 #else
 #include <cstdlib>
 #include <csignal>
