diff --git a/src/backbone.cpp b/src/backbone.cpp
index 0f8339093..dc8ec8d4d 100644
--- 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) {