X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=include%2Fmutex;h=482af590068c2f1ae9b4b24637a83c8a9b098a92;hb=45206350b4022732229f8a48a3c7b08885e874a7;hp=31fd7eb1f19ae83ae750a0bbf23f629a3b7d96e3;hpb=d5188b9694c29e0d776a643965f2461a1fbbe5e1;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();