From b88d2e5f30712f797a5c4fb2b7308494155b95d0 Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Wed, 18 Sep 2019 11:56:14 +0200
Subject: [PATCH] Fix stupid bug in btor back-end
Signed-off-by: Clifford Wolf <clifford@clifford.at>
---
backends/btor/btor.cc | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
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++) {