From 5536b22b8d1b88245c5b4b0be85deb32660694f5 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 cc5fd235099..b3fe91824bf 100644
--- a/src/util.h
+++ b/src/util.h
@@ -13,8 +13,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>