From eaa80d5b0211e21bfdd5e36b01ce66b49d5dc54b Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 13 Jan 2019 11:33:23 -0800
Subject: [PATCH] fix test build

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/test/theory_pb.cpp | 2 --
 1 file changed, 2 deletions(-)

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