X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=blobdiff_plain;f=include%2Fmutex;h=482af590068c2f1ae9b4b24637a83c8a9b098a92;hp=31fd7eb1f19ae83ae750a0bbf23f629a3b7d96e3;hb=51d0154de2ac3c660a58c3f377f4092c6fd1621b;hpb=d5188b9694c29e0d776a643965f2461a1fbbe5e1

diff --git a/include/mutex b/include/mutex
index 31fd7eb..482af59 100644
--- a/include/mutex
+++ b/include/mutex
@@ -18,7 +18,7 @@ namespace std {
 	class mutex {
 	public:
 		mutex();
-		~mutex();
+		~mutex() {}
 		void lock();
 		bool try_lock();
 		void unlock();