* src/tgba/tgbabddtranslatefactory.cc

(tgba_bdd_translate_factory::tgba_bdd_translate_factory): Translate
varandnext_set.

ChangeLog

+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.

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);