1 files changed, 2 insertions, 0 deletions
diff --git a/src/rt/sync/sync.h b/src/rt/sync/sync.h
index bd755e1f..9996aa66 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 */