diff --git a/NEWS b/NEWS
index 81902a2e5..8376032df 100644
--- a/NEWS
+++ b/NEWS
@@ -11,6 +11,10 @@ New in spot 1.99.9a (not yet released)
   * The output of spot.atomic_prop_collect() is printable and
   can now be passed directly to spot.ltsmin.model.kripke().
 
+  Library:
+
+  * digraph::valid_trans() renamed to digraph::is_valid_edge().
+
   Documentation:
 
   * The concepts page (https://spot.lrde.epita.fr/concepts.html)
diff --git a/spot/kripke/kripkegraph.hh b/spot/kripke/kripkegraph.hh
index 488c6891f..1a6e8d976 100644
--- a/spot/kripke/kripkegraph.hh
+++ b/spot/kripke/kripkegraph.hh
@@ -194,7 +194,7 @@ namespace spot
     {
       auto s = down_cast<const typename graph_t::state_storage_t*>(st);
       assert(s);
-      assert(!s->succ || g_.valid_trans(s->succ));
+      assert(!s->succ || g_.is_valid_edge(s->succ));
 
       if (this->iter_cache_)
         {
diff --git a/spot/twa/twagraph.hh b/spot/twa/twagraph.hh
index 3d73d6b1f..d6daf240e 100644
--- a/spot/twa/twagraph.hh
+++ b/spot/twa/twagraph.hh
@@ -279,7 +279,7 @@ namespace spot
     {
       auto s = down_cast<const typename graph_t::state_storage_t*>(st);
       assert(s);
-      assert(!s->succ || g_.valid_trans(s->succ));
+      assert(!s->succ || g_.is_valid_edge(s->succ));
 
       if (this->iter_cache_)
         {