From 15bc7ad5cb1920f5b37e4274fa829900976768b7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Marjam=C3=A4ki?= <daniel.marjamaki@gmail.com>
Date: Wed, 24 Feb 2021 22:20:11 +0100
Subject: [PATCH] Fix compilation error

---
 test/testbughuntingchecks.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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);