Mark dtor as override

tturocy · tturocy · commit 1807b8049968 · 2025-04-16T07:21:34.000+01:00
diff --git a/src/games/game.h b/src/games/game.h
@@ -167,7 +167,7 @@ class GameActionRep : public GameObject {
     : m_number(p_number), m_label(p_label), m_infoset(p_infoset)
   {
   }
-  ~GameActionRep() = default;
+  ~GameActionRep() override = default;
 
 public:
   int GetNumber() const { return m_number; }

Original file line number	Diff line number	Diff line change
`@@ -167,7 +167,7 @@ class GameActionRep : public GameObject {`
`167`	`167`	`: m_number(p_number), m_label(p_label), m_infoset(p_infoset)`
`168`	`168`	`{`
`169`	`169`	`}`
`170`		`- ~GameActionRep() = default;`
	`170`	`+ ~GameActionRep() override = default;`
`171`	`171`
`172`	`172`	`public:`
`173`	`173`	`int GetNumber() const { return m_number; }`