Use proper filename in -o subs documentation (#8030)

We somehow used the wrong filename in #7944.

diff --git a/src/options/base_options.toml b/src/options/base_options.toml
index 6b7eaefb9b464df5e6e599e8243a422f8c49cd6e..12c33601f390c3d800df3a483d02ffa77c5cce5a 100644 (file)
--- a/src/options/base_options.toml
+++ b/src/options/base_options.toml
@@ -197,7 +197,7 @@ name   = "Base"
   name = "subs"
   help = "print top-level substitutions learned during preprocessing"
   description = "With ``-o subs``, cvc5 prints top-level substitutions learned during preprocessing."
-  example-file = "regress0/printer/subs-output.smt2"
+  example-file = "regress0/printer/print_subs.smt2"
 [[option.mode.POST_ASSERTS]]
   name = "post-asserts"
   help = "print assertions corresponding to the input problem after preprocessing"