diff options
author | Clifford Wolf <clifford@clifford.at> | 2019-09-18 11:56:14 +0200 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2019-09-18 11:56:14 +0200 |
commit | b88d2e5f30712f797a5c4fb2b7308494155b95d0 (patch) | |
tree | 906c08ecf5e3246bb3d6ff2777790a805ca24838 /backends | |
parent | 36df37a734c3dd315f00edbe19b364b6f9a1a132 (diff) | |
download | yosys-b88d2e5f30712f797a5c4fb2b7308494155b95d0.tar.gz yosys-b88d2e5f30712f797a5c4fb2b7308494155b95d0.tar.bz2 yosys-b88d2e5f30712f797a5c4fb2b7308494155b95d0.zip |
Fix stupid bug in btor back-end
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Diffstat (limited to 'backends')
-rw-r--r-- | backends/btor/btor.cc | 2 |
1 files changed, 1 insertions, 1 deletions
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++) { |