diff --git a/test/testbughuntingchecks.cpp b/test/testbughuntingchecks.cpp
index 711e25088..c61abc681 100644
--- a/test/testbughuntingchecks.cpp
+++ b/test/testbughuntingchecks.cpp
@@ -33,7 +33,7 @@ private:
 
     void run() OVERRIDE {
 #ifdef USE_Z3
-        settings.inconclusive = true;
+        settings.certainty.setEnabled(Certainty::inconclusive, true);
         LOAD_LIB_2(settings.library, "std.cfg");
         TEST_CASE(checkAssignment);
         TEST_CASE(arrayIndexOutOfBounds1);