2 files changed, 5 insertions, 0 deletions
diff --git a/src/sim/serialize.cc b/src/sim/serialize.cc
index 30655e692..54b7926d6 100644
--- a/src/sim/serialize.cc
+++ b/src/sim/serialize.cc
@@ -613,6 +613,10 @@ Checkpoint::Checkpoint(const string &cpt_dir)
     }
 }
 
+Checkpoint::~Checkpoint()
+{
+    delete db;
+}
 
 bool
 Checkpoint::find(const string &section, const string &entry, string &value)
diff --git a/src/sim/serialize.hh b/src/sim/serialize.hh
index 46e546be4..fdb0f4033 100644
--- a/src/sim/serialize.hh
+++ b/src/sim/serialize.hh
@@ -254,6 +254,7 @@ class Checkpoint
 
   public:
     Checkpoint(const std::string &cpt_dir);
+    ~Checkpoint();
 
     const std::string cptDir;