| changeset 79623 | e905fb37467f |
| parent 79576 | 157de27b0863 |
| child 79712 | 658f17274845 |
--- a/src/HOL/SMT.thy Thu Feb 15 13:00:56 2024 +0100 +++ b/src/HOL/SMT.thy Fri Feb 16 09:24:45 2024 +0100 @@ -720,7 +720,8 @@ \<close> declare [[cvc4_options = ""]] -declare [[cvc5_options = "--proof-format-mode=alethe --proof-granularity=dsl-rewrite"]] +declare [[cvc5_options = ""]] +declare [[cvc5_proof_options = "--proof-format-mode=alethe --proof-granularity=dsl-rewrite"]] declare [[verit_options = ""]] declare [[z3_options = ""]]