Safe side: all flops have different mergeability class

diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc
index 19e6c8369c2a03a9c152152b9e48a8cd47d5b8de..632a5c8d5691a28841cfd0569d232bb74b975ec8 100644 (file)
--- a/backends/aiger/xaiger.cc
+++ b/backends/aiger/xaiger.cc
@@ -843,7 +843,7 @@ struct XAigerWriter
                        write_r_buffer(ff_bits.size());
                        int mergeability_class = 1;
                        for (auto cell : ff_bits)
-                               write_r_buffer(mergeability_class);
+                               write_r_buffer(mergeability_class++);
 
                        f << "r";
                        buffer_str = r_buffer.str();