From 03709ab4bee9e7e8b990c19507a6096b49484808 Mon Sep 17 00:00:00 2001
From: Antoine Martin <amartin@lrde.epita.fr>
Date: Fri, 18 Mar 2022 18:05:53 +0100
Subject: [PATCH] derive: no nullptr handling

---
 spot/tl/derive.cc | 9 ---------
 1 file changed, 9 deletions(-)

diff --git a/spot/tl/derive.cc b/spot/tl/derive.cc
index 9def9e2eb..699c8634f 100644
--- a/spot/tl/derive.cc
+++ b/spot/tl/derive.cc
@@ -141,12 +141,6 @@ namespace spot
           aut->new_edge(curr_state, curr_state, bddfalse, acc_mark);
       }
 
-    // if we only have an initial state with no transitions, then our language
-    // is empty
-    if (aut->num_states() == 1
-        && aut->get_graph().state_storage(aut->get_init_state_number()).succ == 0)
-      return nullptr;
-
     aut->set_named_prop("state-names", state_names);
 
     aut->merge_edges();
@@ -159,9 +153,6 @@ namespace spot
   {
     auto finite = derive_finite_automaton(f, deterministic);
 
-    if (finite == nullptr)
-      return nullptr;
-
     return from_finite(finite);
   }