From 8d4312d9d87cc23e534558589244c2fde7dfcf0d Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Fri, 6 Jun 2014 17:50:46 -0700
Subject: [PATCH] fix(util/thread): warning messages

---
 src/util/thread.h | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/util/thread.h b/src/util/thread.h
index 3b3229729..7571512bd 100644
--- a/src/util/thread.h
+++ b/src/util/thread.h
@@ -1,5 +1,5 @@
 /*
-Copyright (c) 2013 Microsoft Corporation. All rights reserved.
+Copyright (c) 2013-2014 Microsoft Corporation. All rights reserved.
 Released under Apache 2.0 license as described in the file LICENSE.
 
 Author: Leonardo de Moura
@@ -136,10 +136,12 @@ public:
 template<typename T> class lock_guard {
 public:
     lock_guard(T const &) {}
+    ~lock_guard() {}
 };
 template<typename T> class unique_lock {
 public:
     unique_lock(T const &) {}
+    ~unique_lock() {}
 };
 }
 #endif