diff --git a/spot/twacube/twacube.cc b/spot/twacube/twacube.cc
index a3639c7aa..39cf7a17c 100644
--- a/spot/twacube/twacube.cc
+++ b/spot/twacube/twacube.cc
@@ -23,21 +23,12 @@
 
 namespace spot
 {
-  cstate::cstate(cstate&& s) noexcept: id_(std::move(s.id_))
-  {
-  }
-  cstate::cstate(unsigned id): id_(id)
-  {
-  }
-
-  unsigned cstate::label()
-  {
-    return id_;
-  }
+  cstate::cstate(cstate&&) noexcept
+  { }
 
   transition::transition(transition&& t) noexcept:
   cube_(std::move(t.cube_)), acc_(std::move(t.acc_))
-  {  }
+  { }
 
   transition::transition(const cube& cube,
                          acc_cond::mark_t acc):
@@ -46,8 +37,7 @@ namespace spot
 
   twacube::twacube(const std::vector<std::string> aps):
     init_(0U), aps_(aps), cubeset_(aps.size())
-  {
-  }
+  { }
 
   twacube::~twacube()
   {
@@ -56,11 +46,6 @@ namespace spot
       cs.release(theg_.edge_data(i).cube_);
   }
 
-  const acc_cond& twacube::acc() const
-  {
-    return acc_;
-  }
-
   acc_cond& twacube::acc()
   {
     return acc_;
diff --git a/spot/twacube/twacube.hh b/spot/twacube/twacube.hh
index 4c3d31d68..cc55aac95 100644
--- a/spot/twacube/twacube.hh
+++ b/spot/twacube/twacube.hh
@@ -36,12 +36,7 @@ namespace spot
     cstate() = default;
     cstate(const cstate& s) = delete;
     cstate(cstate&& s) noexcept;
-    cstate(unsigned id);
     ~cstate() = default;
-
-    unsigned label();
-  private:
-    unsigned id_;
   };
 
   /// \brief Class for representing a transition.
@@ -135,7 +130,6 @@ namespace spot
     virtual ~twacube();
 
     /// \brief Returns the acceptance condition associated to the automaton.
-    const acc_cond& acc() const;
     acc_cond& acc();
 
     /// \brief Returns the names of the atomic properties.