1 files changed, 2 insertions, 0 deletions
diff --git a/src/libstate.cpp b/src/libstate.cpp
index 22156af79..8b1e04cdb 100644
--- a/src/libstate.cpp
+++ b/src/libstate.cpp
@@ -223,6 +223,8 @@ Library_State::~Library_State()
       delete allocators[j];
       }
 
+   delete allocator_lock;
+   delete engine_lock;
    delete mutex_factory;
    }