mutex: define empty destructor

[model-checker.git] / include / mutex

diff --git a/include/mutex b/include/mutex
index 31fd7eb1f19ae83ae750a0bbf23f629a3b7d96e3..482af590068c2f1ae9b4b24637a83c8a9b098a92 100644 (file)
--- 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();