Fix doc for block-model output tag (cvc5#10239)

ajreynol · Dec 19, 2023 · 20aebbd · 20aebbd
1 parent 7a6b7a6
commit 20aebbd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/options/base_options.toml b/src/options/base_options.toml
@@ -245,7 +245,7 @@ name   = "Base"
   name = "block-model"
   help = "prints the formulas used when block-model is run."
   description = "With ``-o block-model``, cvc5 prints the formulas used when block-model is run."
-  example-file = "regress0/printer/block-model-out.smt2"
+  example-file = "regress0/printer/block_model_out.smt2"
 
 # Stores then enabled output tags.
 [[option]]