diff options
Diffstat (limited to 'src/options/bv_options.toml')
-rw-r--r-- | src/options/bv_options.toml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/options/bv_options.toml b/src/options/bv_options.toml index c4541f4e4..6dd755625 100644 --- a/src/options/bv_options.toml +++ b/src/options/bv_options.toml @@ -7,7 +7,7 @@ header = "options/bv_options.h" category = "expert" long = "bv-proof-format=MODE" type = "CVC4::theory::bv::BvProofFormat" - default = "CVC4::theory::bv::BITVECTOR_PROOF_LRAT" + default = "CVC4::theory::bv::BITVECTOR_PROOF_ER" handler = "stringToBvProofFormat" predicates = ["satSolverEnabledBuild"] includes = ["options/bv_bitblast_mode.h"] |