From a2cf25620be1d3eb3b46131e0ba14af3ae619b85 Mon Sep 17 00:00:00 2001
From: gstellenberg <gstellenberg@gmail.com>
Date: Fri, 12 Jun 2009 10:00:20 -0500
Subject: [PATCH] Resolved a number of build issues with WIN32 builds

---
 src/pinproc.cpp | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/src/pinproc.cpp b/src/pinproc.cpp
index 0c92ac6..d9191dc 100644
--- a/src/pinproc.cpp
+++ b/src/pinproc.cpp
@@ -30,10 +30,7 @@
 
 #include "../include/pinproc.h"
 #include "PRDevice.h"
-
-#if defined(__WIN32__)
-    #include <stardg.h>
-#endif
+#include <stdarg.h>
 
 #define MAX_TEXT (1024)