diff --git a/ChangeLog b/ChangeLog
index cb6a7c41c..0a4ed8988 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2003-08-14  Alexandre Duret-Lutz  <aduret@src.lip6.fr>
+
+	* src/tgba/state.hh, src/tgba/statebdd.hh, src/tgba/statebdd.cc:
+	Remove the translate() method.  Useless since 2003-07-14.
+
 2003-08-11  Alexandre Duret-Lutz  <aduret@src.lip6.fr>
 
 	* wrap/python/Makefile.am (SUBDIRS): Build `.' first.
diff --git a/src/tgba/state.hh b/src/tgba/state.hh
index f43e338ab..c989c50e9 100644
--- a/src/tgba/state.hh
+++ b/src/tgba/state.hh
@@ -22,18 +22,6 @@ namespace spot
     /// \sa spot::state_ptr_less_than
     virtual int compare(const state* other) const = 0;
 
-    /// \brief Translate a state.
-    ///
-    /// If this state uses any BDD variable.  This function
-    /// should rewrite the variables according to \a rewrite.
-    /// This used by spot::tgba_translate_proxy.
-    virtual void translate(bddPair* rewrite)
-    {
-      // This does nothing by default and is
-      // overridden in spot::state_bdd.
-      (void) rewrite;
-    }
-
     /// Duplicate a state.
     virtual state* clone() const = 0;
 
diff --git a/src/tgba/statebdd.cc b/src/tgba/statebdd.cc
index d6b623790..852cd43a9 100644
--- a/src/tgba/statebdd.cc
+++ b/src/tgba/statebdd.cc
@@ -16,12 +16,6 @@ namespace spot
     return o->as_bdd().id() - state_.id();
   }
 
-  void
-  state_bdd::translate(bddPair* rewrite)
-  {
-    state_ = bdd_replace(state_, rewrite);
-  }
-
   /// Duplicate a state.
   state_bdd*
   state_bdd::clone() const
diff --git a/src/tgba/statebdd.hh b/src/tgba/statebdd.hh
index 2927bd44c..6466f8d9a 100644
--- a/src/tgba/statebdd.hh
+++ b/src/tgba/statebdd.hh
@@ -23,7 +23,6 @@ namespace spot
     }
 
     virtual int compare(const state* other) const;
-    virtual void translate(bddPair* rewrite);
     virtual state_bdd* clone() const;
 
   protected: