From 61032f894247f7a4158ec5b41067bcd7c3f35910 Mon Sep 17 00:00:00 2001
From: Philip Kaufmann <phil.kaufmann@t-online.de>
Date: Tue, 23 Apr 2013 09:54:29 +0200
Subject: [PATCH] remove obsolete and unused typedef for Windows

---
 src/util.h | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/util.h b/src/util.h
index 0641c4be7c..c940686c2e 100644
--- a/src/util.h
+++ b/src/util.h
@@ -11,8 +11,6 @@
 #include <sys/types.h>
 #include <sys/time.h>
 #include <sys/resource.h>
-#else
-typedef int pid_t; /* define for Windows compatibility */
 #endif
 #include <map>
 #include <list>