Fix complement error.

VeriFIT · Jan 12, 2025 · 0b89fd6 · 0b89fd6
1 parent 49b7c7e
commit 0b89fd6
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/complement_sync.cpp b/src/complement_sync.cpp
@@ -1823,6 +1823,8 @@ namespace cola {
         }
         for (const auto &st_trans_pair: compl_states) {
             const unsigned &src = st_trans_pair.first;
+            unsigned spot_state = result->new_state();
+            (void) spot_state;
             assert(spot_state == src);
 
             for (const auto &bdd_vec_tgt_pair: st_trans_pair.second) {