diff --git a/src/algorithm/CNDFS.cpp b/src/algorithm/CNDFS.cpp
index d2ca110c4ee5c91acff75789170886eb55bcc10b..53f1ebb77fbca97b0d8208ddc0cf67f6d669a6ab 100644
--- a/src/algorithm/CNDFS.cpp
+++ b/src/algorithm/CNDFS.cpp
@@ -23,7 +23,7 @@ struct product_node{
 
 struct product_node_succ{
     vector<pair<LDDState*, int> > succ_left;
-    spot::twa_succ_iterator &succ_right;
+    spot::twa_succ_iterator &sadd structures of a new node and edge of the product ucc_right;
 };
 
 std::mutex mtx;