From 5cd8c1b8cc948aa21df22176d552fce732571488 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Thu, 23 Jul 2015 18:05:32 +0200
Subject: [PATCH] * src/twa/twasafracomplement.cc: Remove two unused methods.

---
 src/twa/twasafracomplement.cc | 17 -----------------
 1 file changed, 17 deletions(-)

diff --git a/src/twa/twasafracomplement.cc b/src/twa/twasafracomplement.cc
index ab842beae..afecae999 100644
--- a/src/twa/twasafracomplement.cc
+++ b/src/twa/twasafracomplement.cc
@@ -172,17 +172,6 @@ namespace spot
         n->destroy();
     }
 
-    safra_tree&
-    safra_tree::operator=(const safra_tree& other)
-    {
-      if (this != &other)
-      {
-        this->~safra_tree();
-        new (this) safra_tree(other);
-      }
-      return *this;
-    }
-
     /// \brief Compare two safra trees.
     ///
     /// \param other the tree to compare too.
@@ -932,12 +921,6 @@ namespace spot
       return new state_complement(*this);
     }
 
-    const state*
-    state_complement::get_state() const
-    {
-      return this;
-    }
-
     std::string
     state_complement::to_string() const
     {