From 4bd54ef0cc862ae8736c97ecca07f80ab31396df Mon Sep 17 00:00:00 2001 From: yoni206 Date: Mon, 22 Jun 2020 08:33:46 -0700 Subject: [PATCH] fix (#4637) The help message of --bv-print-consts-as-indexed-symbols seems wrong to me, and this PR suggests a fix. --- src/options/bv_options.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/options/bv_options.toml b/src/options/bv_options.toml index a72c7d92a..517d864d3 100644 --- a/src/options/bv_options.toml +++ b/src/options/bv_options.toml @@ -291,4 +291,4 @@ header = "options/bv_options.h" long = "bv-print-consts-as-indexed-symbols" type = "bool" default = "false" - help = "print bit-vector constants in binary (e.g. #b0001) instead of decimal (e.g. (_ bv1 4)), applies to SMT-LIB 2.x" + help = "print bit-vector constants in decimal (e.g. (_ bv1 4)) instead of binary (e.g. #b0001), applies to SMT-LIB 2.x" -- 2.30.2