diff --git a/src/tgbaalgos/ltl2tgba_fm.cc b/src/tgbaalgos/ltl2tgba_fm.cc
index c47906c27..0fd6cbd0f 100644
--- a/src/tgbaalgos/ltl2tgba_fm.cc
+++ b/src/tgbaalgos/ltl2tgba_fm.cc
@@ -476,6 +476,7 @@ namespace spot
 	// Translate it into a BDD to simplify it.
 	f->accept(v);
 	bdd res = v.result();
+	canonical_succ[res] = f;
 
 	std::string now = to_string(f);