From d41d2a817f884e0f6c8d5cb3b87b4298bc1b56f5 Mon Sep 17 00:00:00 2001
From: Andrew Reynolds <andrew.j.reynolds@gmail.com>
Date: Wed, 26 Feb 2020 19:11:31 -0600
Subject: Initial work towards -Wshadow (#3817)

---
 src/theory/theory.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/theory/theory.h')

diff --git a/src/theory/theory.h b/src/theory/theory.h
index 36db0fda8..d6b02e070 100644
--- a/src/theory/theory.h
+++ b/src/theory/theory.h
@@ -867,7 +867,7 @@ inline theory::Assertion Theory::get() {
   Trace("theory") << "Theory::get() => " << fact << " (" << d_facts.size() - d_factsHead << " left)" << std::endl;
 
   if(Dump.isOn("state")) {
-    Dump("state") << AssertCommand(fact.assertion.toExpr());
+    Dump("state") << AssertCommand(fact.d_assertion.toExpr());
   }
 
   return fact;
-- 
cgit v1.2.3