From: Dejan Jovanović <dejan.jovanovic@gmail.com>
Date: Fri, 29 Jan 2010 22:25:22 +0000 (+0000)
Subject: fixing the last context build problem, it compiles now
X-Git-Tag: cvc5-1.0.0~9324
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=073121854619478fdd8d1523bc52e32a5499d14d;p=cvc5.git

fixing the last context build problem, it compiles now
---

diff --git a/src/context/context.cpp b/src/context/context.cpp
index 078b6a6ef..b83260835 100644
--- a/src/context/context.cpp
+++ b/src/context/context.cpp
@@ -129,9 +129,9 @@ void ContextObj::update() {
 
   // Check that base class data was saved
   Assert(pContextObjSaved->d_pContextObjNext == d_pContextObjNext &&
-         pContextObjSaved.d_ppContextObjPrev == d_ppContextObjPrev &&
-         pContextObjSaved.d_pContextObjRestore == d_pContextObjRestore &&
-         pContextObjSaved.d_pScope == d_pScope,
+         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