diff --git a/src/tgba/tgba.hh b/src/tgba/tgba.hh
index 88b6ca4b6..ce3150932 100644
--- a/src/tgba/tgba.hh
+++ b/src/tgba/tgba.hh
@@ -658,6 +658,21 @@ namespace spot
 	prop_state_based_acc();
     }
 
+    /// \brief Copy the acceptance condition of another tgba.
+    void copy_acceptance_of(const const_tgba_ptr& a)
+    {
+      acc_ = a->acc();
+      unsigned num = acc_.num_sets();
+      prop_single_acc_set(!acc_.uses_fin_acceptance() && num == 1);
+      if (num == 0)
+	prop_state_based_acc();
+    }
+
+    void copy_ap_of(const const_tgba_ptr& a)
+    {
+      get_dict()->register_all_propositions_of(a, this);
+    }
+
   protected:
     /// Do the actual computation of tgba::support_conditions().
     virtual bdd compute_support_conditions(const state* state) const = 0;
diff --git a/src/tgba/tgbagraph.hh b/src/tgba/tgbagraph.hh
index 9b58d3801..510720008 100644
--- a/src/tgba/tgbagraph.hh
+++ b/src/tgba/tgbagraph.hh
@@ -425,22 +425,6 @@ namespace spot
     auto is_dead_transition(const graph_t::trans_storage_t& t) const
       SPOT_RETURN(g_.is_dead_transition(t));
 
-    /// \brief Copy the acceptance conditions of another tgba.
-    void copy_acceptance_of(const const_tgba_ptr& a)
-    {
-      // FIXME: Should rename as copy_acceptance_condition*_of
-      acc_ = a->acc();
-      unsigned num = acc_.num_sets();
-      prop_single_acc_set(!acc_.uses_fin_acceptance() && num == 1);
-      if (num == 0)
-	prop_state_based_acc();
-    }
-
-    void copy_ap_of(const const_tgba_ptr& a)
-    {
-      get_dict()->register_all_propositions_of(a, this);
-    }
-
     virtual bdd compute_support_conditions(const state* s) const
     {
       bdd sum = bddfalse;