From: Eddie Hung <eddie@fpgeh.com>
Date: Tue, 2 Jul 2019 19:21:03 +0000 (-0700)
Subject: Safe side: all flops have different mergeability class
X-Git-Tag: working-ls180~881^2^2~285
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=69f4c039ce615c6a6c788e7b0da53e37467d32f6;p=yosys.git

Safe side: all flops have different mergeability class
---

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();