Remove const_cast for m_absentMindedInfosets

d-kad · d-kad · commit 44b8889ce091 · 2025-12-12T06:00:44.000Z
diff --git a/src/games/gametree.cc b/src/games/gametree.cc
@@ -883,7 +883,7 @@ void GameTreeRep::ClearComputedValues() const
   const_cast<GameTreeRep *>(this)->m_nodePlays.clear();
   m_ownPriorActionInfo = nullptr;
   const_cast<GameTreeRep *>(this)->m_unreachableNodes = nullptr;
-  const_cast<GameTreeRep *>(this)->m_absentMindedInfosets.clear();
+  m_absentMindedInfosets.clear();
   m_computedValues = false;
 }
 

Original file line number	Diff line number	Diff line change
`@@ -883,7 +883,7 @@ void GameTreeRep::ClearComputedValues() const`
`883`	`883`	`const_cast<GameTreeRep *>(this)->m_nodePlays.clear();`
`884`	`884`	`m_ownPriorActionInfo = nullptr;`
`885`	`885`	`const_cast<GameTreeRep *>(this)->m_unreachableNodes = nullptr;`
`886`		`- const_cast<GameTreeRep *>(this)->m_absentMindedInfosets.clear();`
	`886`	`+ m_absentMindedInfosets.clear();`
`887`	`887`	`m_computedValues = false;`
`888`	`888`	`}`
`889`	`889`