From 52af3948d6e055769227ff7a3546abf6ba982498 Mon Sep 17 00:00:00 2001
From: Maximilien Colange <colange@lrde.epita.fr>
Date: Mon, 24 Apr 2017 15:04:53 +0200
Subject: [PATCH] Remove useless code.

* spot/twaalgos/determinize.cc: remove code.
---
 spot/twaalgos/determinize.cc | 12 ------------
 1 file changed, 12 deletions(-)

diff --git a/spot/twaalgos/determinize.cc b/spot/twaalgos/determinize.cc
index fbfdb2689..db63ba604 100644
--- a/spot/twaalgos/determinize.cc
+++ b/spot/twaalgos/determinize.cc
@@ -534,18 +534,6 @@ namespace spot
   bool
   safra_state::operator<(const safra_state& other) const
   {
-    if (nodes_ == other.nodes_)
-      {
-        for (auto& n: nodes_)
-          {
-            auto it = other.nodes_.find(n.first);
-            assert(it != other.nodes_.end());
-            if (nesting_cmp(n.second, it->second))
-              return true;
-          }
-        return false;
-      }
-
     return nodes_ < other.nodes_;
   }