diff --git a/src/test/theory_pb.cpp b/src/test/theory_pb.cpp
index f0604df73..bff5c3809 100644
--- a/src/test/theory_pb.cpp
+++ b/src/test/theory_pb.cpp
@@ -36,7 +36,6 @@ class pb_fuzzer {
 public:
     pb_fuzzer(ast_manager& m): m(m), rand(0), ctx(m, params), vars(m) {
         params.m_model = true;
-        params.m_pb_enable_simplex = true;
         unsigned N = 3;
         for (unsigned i = 0; i < N; ++i) {
             std::stringstream strm;
@@ -48,7 +47,6 @@ public:
 
     void fuzz() {
         enable_trace("pb");
-        enable_trace("simplex");
         unsigned nr = 0;
         for (unsigned i = 0; i < 100000; ++i) {
             fuzz_round(nr, 2);