From 94d75e0170ab621d0985ecb74ce16e21f65942d9 Mon Sep 17 00:00:00 2001
From: Stephen Williams <steve@icarus.com>
Date: Sat, 9 Jan 2010 16:29:24 -0800
Subject: [PATCH] Add missing pthread.h header file.

---
 vpi/vcd_priv2.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/vpi/vcd_priv2.cc b/vpi/vcd_priv2.cc
index 2b0c59205..1fe4bc43b 100644
--- a/vpi/vcd_priv2.cc
+++ b/vpi/vcd_priv2.cc
@@ -21,6 +21,7 @@
 # include  <map>
 # include  <set>
 # include  <string>
+# include  <pthread.h>
 # include  <stdlib.h>
 # include  <string.h>
 # include  <assert.h>