diff options
author | Clark Barrett <barrett@cs.nyu.edu> | 2010-01-29 22:04:43 +0000 |
---|---|---|
committer | Clark Barrett <barrett@cs.nyu.edu> | 2010-01-29 22:04:43 +0000 |
commit | 7c325c978225419708e1aa4a4c99b608b38fece1 (patch) | |
tree | b70802e36ef37e86610723f07e5978b6809139f7 /src/context | |
parent | c732da16287657609a80734b29ab785698960672 (diff) |
one more bug
Diffstat (limited to 'src/context')
-rw-r--r-- | src/context/context.cpp | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/context/context.cpp b/src/context/context.cpp index 76cc03666..078b6a6ef 100644 --- 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 |