From 28d43678b6dee9307632627f5de07511aa0c830f Mon Sep 17 00:00:00 2001
From: Patrick Walton <pcwalton@mimiga.net>
Date: Wed, 20 Oct 2010 10:32:36 -0700
Subject: [PATCH] Add a virtual destructor to rust_thread in sync.h, to quiet
 the compiler

---
 src/rt/sync/sync.h | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/rt/sync/sync.h b/src/rt/sync/sync.h
index bd755e1f9fe..9996aa66567 100644
--- a/src/rt/sync/sync.h
+++ b/src/rt/sync/sync.h
@@ -35,6 +35,8 @@ public:
     void join();
 
     bool is_running();
+
+    virtual ~rust_thread() {}   // quiet the compiler
 };
 
 #endif /* SYNC_H */