diff --git a/ChangeLog b/ChangeLog
index 09393903f..cb946aea9 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2003-07-01  Alexandre Duret-Lutz  <aduret@src.lip6.fr>
+
+	* src/tgba/tgbabddtranslatefactory.cc
+	(tgba_bdd_translate_factory::tgba_bdd_translate_factory): Translate
+	varandnext_set.
+
 2003-06-30  Alexandre Duret-Lutz  <aduret@src.lip6.fr>
 
 	* src/tgbaparse/tgbaparse.yy (lines): Expect at last one line.
diff --git a/src/tgba/tgbabddtranslatefactory.cc b/src/tgba/tgbabddtranslatefactory.cc
index 44ba04216..6ae4bd976 100644
--- a/src/tgba/tgbabddtranslatefactory.cc
+++ b/src/tgba/tgbabddtranslatefactory.cc
@@ -21,6 +21,7 @@ namespace spot
     data_.notnext_set = bdd_replace(in.notnext_set, rewrite);
     data_.notvar_set = bdd_replace(in.notvar_set, rewrite);
     data_.var_set = bdd_replace(in.var_set, rewrite);
+    data_.varandnext_set = bdd_replace(in.varandnext_set, rewrite);
     data_.notacc_set = bdd_replace(in.notacc_set, rewrite);
 
     init_ = bdd_replace(from.get_init_bdd(), rewrite);