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 7c054d65519af4c2356a13ae831ec135eb72430e..4472993d4fadbcd3678b1fd8b1e49afddaeae675 100644 (file)
--- 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++) {