missing header for S_IRUSR

Daniel Kroening · Daniel Kroening · commit f171d24d3af5 · 2017-01-30T16:45:07.000Z
diff --git a/src/util/run.cpp b/src/util/run.cpp
@@ -22,6 +22,7 @@ Date: August 2012
 
 #include <sys/wait.h>
 #include <sys/types.h>
+#include <sys/stat.h>
 #include <fcntl.h>
 #include <signal.h>
 
