Fixing cadiback use

msoos · May 29, 2024 · 4f3a3e9 · 4f3a3e9
1 parent bdd4677
commit 4f3a3e9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/backbone.cpp b/src/backbone.cpp
@@ -50,7 +50,7 @@ bool Solver::backbone_simpl(int64_t orig_max_confl, bool& finished)
         }
     }
     vector<int> ret;
-    int sat = CadiBack::doit(cnf, ret);
+    int sat = CadiBack::doit(cnf, conf.verbosity, ret);
     if (sat) {
         vector<Lit> tmp;
         for(const auto& l: ret) {