From d1545ff42c2c609e567c85f5daa5e518cd87d289 Mon Sep 17 00:00:00 2001 From: Gereon Kremer Date: Wed, 2 Feb 2022 13:47:15 -0800 Subject: [PATCH] Use proper filename in -o subs documentation (#8030) We somehow used the wrong filename in #7944. --- src/options/base_options.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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" -- 2.30.2