one more bug

diff --git a/src/context/context.cpp b/src/context/context.cpp
index 76cc03666ec3d295e2c666fbfc69fb7e7cc9dd92..078b6a6ef9dad4993a47134f42d04e8b670740f8 100644 (file)
--- a/src/context/context.cpp
+++ b/src/context/context.cpp
@@ -128,10 +128,10 @@ void ContextObj::update() {
   ContextObj* pContextObjSaved = save(d_pScope->getCMM());
 
   // Check that base class data was saved
-  Assert(saved.d_pContextObjNext == d_pContextObjNext &&
-         saved.d_ppContextObjPrev == d_ppContextObjPrev &&
-         saved.d_pContextObjRestore == d_pContextObjRestore &&
-         saved.d_pScope == d_pScope,
+  Assert(pContextObjSaved->d_pContextObjNext == d_pContextObjNext &&
+         pContextObjSaved.d_ppContextObjPrev == d_ppContextObjPrev &&
+         pContextObjSaved.d_pContextObjRestore == d_pContextObjRestore &&
+         pContextObjSaved.d_pScope == d_pScope,
          "save() did not properly copy information in base class");
 
   // Update Scope pointer to current top Scope