From 3eb26704d681f4acc3c3a3917e0f99ddab4cb5f7 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Thu, 27 Sep 2018 10:22:49 +0200
Subject: [PATCH] more gcc-snapshot warnings

* spot/misc/game.hh: Here.
---
 spot/misc/game.hh | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/spot/misc/game.hh b/spot/misc/game.hh
index e43123985..e9f66a0df 100644
--- a/spot/misc/game.hh
+++ b/spot/misc/game.hh
@@ -166,6 +166,19 @@ public:
 
   int compare(const state* other) const override;
 
+  reachability_state& operator=(const reachability_state& other)
+  {
+    num_ = other.num_;
+    b_ = other.b_;
+    anke_ = other.anke_;
+    return *this;
+  }
+
+  reachability_state(const reachability_state& other)
+    : num_(other.num_), b_(other.b_), anke_(other.anke_)
+  {
+  }
+
   bool operator==(const reachability_state& o) const
   {
     return compare(&o) == 0;