From 561a4331a83438a3483504e272722bd1f291ba32 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 2 May 2017 16:36:05 -0700
Subject: [PATCH] add back use of all variables for tracking

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/test/cnf_backbones.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/test/cnf_backbones.cpp b/src/test/cnf_backbones.cpp
index eab91e557..07edabece 100644
--- a/src/test/cnf_backbones.cpp
+++ b/src/test/cnf_backbones.cpp
@@ -257,6 +257,7 @@ static void cnf_backbones(bool use_chunk, char const* file_name) {
         vars.push_back(i);        
         g_solver->set_external(i);
     }
+    num_vars = g_solver->num_vars();
     lbool r;
     if (use_chunk) {
         r = core_chunking(*g_solver, vars, assumptions, conseq, 100);