Remove unused arith options (#1758)

Commit 629824db3911ab11ae286e4b14151a537602ba5a added options when
introducing the pseudo boolean processor that were never used. This
commit removes them.

diff --git a/src/options/arith_options.toml b/src/options/arith_options.toml
index dc7b95d58d1b7c4780438183e57295ea0454d9c5..4f68d168905ec5fe417d36157642bca0dc673c42 100644 (file)
--- a/src/options/arith_options.toml
+++ b/src/options/arith_options.toml
@@ -387,15 +387,6 @@ header = "options/arith_options.h"
   read_only  = true
   help       = "threshold for substituting an equality in ppAssert"
 
-[[option]]
-  name       = "maxReplayTree"
-  category   = "regular"
-  long       = "max-replay-tree"
-  type       = "int"
-  default    = "512"
-  read_only  = true
-  help       = "threshold for attempting to replay a tree"
-
 [[option]]
   name       = "arithNoPartialFun"
   category   = "regular"
@@ -414,15 +405,6 @@ header = "options/arith_options.h"
   read_only  = true
   help       = "apply pseudo boolean rewrites"
 
-[[option]]
-  name       = "pbRewriteThreshold"
-  category   = "regular"
-  long       = "pb-rewrite-threshold"
-  type       = "int"
-  default    = "256"
-  read_only  = true
-  help       = "threshold of number of pseudoboolean variables to have before doing rewrites"
-
 [[option]]
   name       = "sNormInferEq"
   category   = "regular"