2 files changed, 9 insertions, 0 deletions
diff --git a/sim/serialize.cc b/sim/serialize.cc
index bd528c678..0eb26c31d 100644
--- a/sim/serialize.cc
+++ b/sim/serialize.cc
@@ -494,3 +494,10 @@ Checkpoint::findObj(const std::string &section, const std::string &entry,
 
     return false;
 }
+
+
+bool
+Checkpoint::sectionExists(const std::string &section)
+{
+    return db->sectionExists(section);
+}
diff --git a/sim/serialize.hh b/sim/serialize.hh
index 78cbb702a..09e91d816 100644
--- a/sim/serialize.hh
+++ b/sim/serialize.hh
@@ -244,6 +244,8 @@ class Checkpoint
 
     bool findObj(const std::string &section, const std::string &entry,
                  Serializeable *&value);
+
+    bool sectionExists(const std::string &section);
 };