1 files changed, 14 insertions, 0 deletions
diff --git a/common/section/basics/driver.cxx b/common/section/basics/driver.cxx
index f34ed90..a2b7006 100644
--- a/common/section/basics/driver.cxx
+++ b/common/section/basics/driver.cxx
@@ -1273,6 +1273,13 @@ main (int argc, char* argv[])
         db->update (o1, o1.s);
         assert (o.v != o1.v);
 
+        // Double-check object version was updated.
+        //
+        {
+          auto_ptr<object> p1 (db->load<object> (o.id));
+          assert (o1.v == p1->v);
+        }
+
         try
         {
           db->load (*p, p->s);
@@ -1393,6 +1400,13 @@ main (int argc, char* argv[])
         db->update (o1, o1.s);
         assert (o.v != o1.v);
 
+        // Double-check object version was updated.
+        //
+        {
+          auto_ptr<object> p1 (db->load<object> (o.id));
+          assert (o1.v == p1->v);
+        }
+
         try
         {
           db->load (*p, p->s);