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

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();