diff --git a/provers/z3prover.cpp b/provers/z3prover.cpp
index b751bca..b7886ed 100644
--- a/provers/z3prover.cpp
+++ b/provers/z3prover.cpp
@@ -604,8 +604,10 @@ struct Z3Adapter {
 RegisteredProver refute_rp = LibraryToolbox::register_prover({"|- ( -. ph -> F. )"}, "|- ph");
 RegisteredProver efald_rp = LibraryToolbox::register_prover({"|- ( ( ph /\\ -. ps ) -> F. )"}, "|- ( ph -> ps )");
 
+std::vector< int > range3 = { 0, 1, 2 };
+
 #ifdef ENABLE_TEST_CODE
-BOOST_DATA_TEST_CASE(test_wff_minisat_prover, boost::unit_test::data::xrange(3), i) {
+BOOST_DATA_TEST_CASE(test_wff_minisat_prover, boost::unit_test::data::make(range3), i) {
     auto &data = get_set_mm();
     //auto &lib = data.lib;
     auto &tb = data.tb;
diff --git a/test/test.h b/test/test.h
index cdc3b9e..e031e78 100644
--- a/test/test.h
+++ b/test/test.h
@@ -9,7 +9,6 @@
 #endif
 #define ENABLE_TEST_CODE
 #include <boost/test/unit_test.hpp>
-#include <boost/test/data/monomorphic/generators/xrange.hpp>
 #include <boost/test/data/test_case.hpp>
 #include <boost/test/data/monomorphic.hpp>
 #endif