diff --git a/spot/misc/timer.hh b/spot/misc/timer.hh
index 4d512fe26..107c8b846 100644
--- a/spot/misc/timer.hh
+++ b/spot/misc/timer.hh
@@ -211,13 +211,6 @@ namespace spot
       return i->second.first;
     }
 
-    /// Return the timer \a name.
-    spot::timer&
-    timer(const std::string& name)
-    {
-      return tm[name].first;
-    }
-
     /// \brief Whether there is no timer in the map.
     ///
     /// If empty() return true, then either no timer where ever
diff --git a/spot/twa/bdddict.cc b/spot/twa/bdddict.cc
index e92c62cc8..07b8280c3 100644
--- a/spot/twa/bdddict.cc
+++ b/spot/twa/bdddict.cc
@@ -149,7 +149,6 @@ namespace spot
         bdd_info& i = bdd_map[num];
         i.type = acc;
         i.f = f;
-        i.clone_counts = 0;
       }
     bdd_map[num].refs.insert(for_me);
     return num;
diff --git a/spot/twa/bdddict.hh b/spot/twa/bdddict.hh
index 33054d0c0..fafa4c214 100644
--- a/spot/twa/bdddict.hh
+++ b/spot/twa/bdddict.hh
@@ -1,6 +1,6 @@
 // -*- coding: utf-8 -*-
-// Copyright (C) 2011, 2012, 2013, 2014, 2015 Laboratoire de Recherche
-// et Développement de l'Epita (LRDE).
+// Copyright (C) 2011, 2012, 2013, 2014, 2015, 2016 Laboratoire de
+// Recherche et Développement de l'Epita (LRDE).
 // Copyright (C) 2003, 2004, 2006 Laboratoire d'Informatique de Paris
 // 6 (LIP6), département Systèmes Répartis Coopératifs (SRC),
 // Université Pierre et Marie Curie.
@@ -82,7 +82,6 @@ namespace spot
       var_type type;
       formula f;        // Used unless t==anon.
       ref_set refs;
-      int clone_counts;
     };
     typedef std::vector<bdd_info> bdd_info_map;
     // Map BDD variables to their meaning.
diff --git a/spot/twaalgos/sbacc.cc b/spot/twaalgos/sbacc.cc
index 5b8039896..8a0e1276c 100644
--- a/spot/twaalgos/sbacc.cc
+++ b/spot/twaalgos/sbacc.cc
@@ -102,7 +102,6 @@ namespace spot
               acc = one_in[t.dst];
             if (dst_acc)
               acc |= common_out[t.dst];
-            common_out[t.dst];
             res->new_edge(one.second, new_state(t.dst, acc),
                           t.cond, one.first.second);
           }