From: Gereon Kremer <gkremer@stanford.edu>
Date: Wed, 2 Feb 2022 21:47:15 +0000 (-0800)
Subject: Use proper filename in -o subs documentation (#8030)
X-Git-Tag: cvc5-1.0.0~472
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d1545ff42c2c609e567c85f5daa5e518cd87d289;p=cvc5.git

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 6b7eaefb9..12c33601f 100644
--- 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"