From 69f4c039ce615c6a6c788e7b0da53e37467d32f6 Mon Sep 17 00:00:00 2001
From: Eddie Hung <eddie@fpgeh.com>
Date: Tue, 2 Jul 2019 12:21:03 -0700
Subject: [PATCH] Safe side: all flops have different mergeability class

---
 backends/aiger/xaiger.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc
index 19e6c8369..632a5c8d5 100644
--- 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();
-- 
2.30.2