From: Clifford Wolf <clifford@clifford.at>
Date: Wed, 18 Sep 2019 09:56:14 +0000 (+0200)
Subject: Fix stupid bug in btor back-end
X-Git-Tag: working-ls180~1061
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b88d2e5f30712f797a5c4fb2b7308494155b95d0;p=yosys.git

Fix stupid bug in btor back-end

Signed-off-by: Clifford Wolf <clifford@clifford.at>
---

diff --git a/backends/btor/btor.cc b/backends/btor/btor.cc
index 7c054d655..4472993d4 100644
--- a/backends/btor/btor.cc
+++ b/backends/btor/btor.cc
@@ -685,7 +685,7 @@ struct BtorWorker
 				}
 				else
 				{
-					int nid_init_val = next_nid++;
+					nid_init_val = next_nid++;
 					btorf("%d state %d\n", nid_init_val, sid);
 
 					for (int i = 0; i < nwords; i++) {