diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2017-11-03 19:16:06 -0500 |
---|---|---|
committer | Andres Noetzli <andres.noetzli@gmail.com> | 2017-11-03 17:16:06 -0700 |
commit | f70af84aa6ad1511963e6cec97c6096fdcc1b37d (patch) | |
tree | 50d98df009aa491a67c7fead8488ce7c1503caeb /src/options | |
parent | 5cafed748989602263b8ad1a27ac6b9bd159a441 (diff) |
Fix bv help message. (#1315)
Diffstat (limited to 'src/options')
-rw-r--r-- | src/options/options_handler.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/options/options_handler.cpp b/src/options/options_handler.cpp index 3d74091fd..4d4ddfc32 100644 --- a/src/options/options_handler.cpp +++ b/src/options/options_handler.cpp @@ -1086,7 +1086,7 @@ theory::bv::BvSlicerMode OptionsHandler::stringToBvSlicerMode(std::string option } else if(optarg == "off") { return theory::bv::BITVECTOR_SLICER_OFF; } else if(optarg == "help") { - puts(s_bitblastingModeHelp.c_str()); + puts(s_bvSlicerModeHelp.c_str()); exit(1); } else { throw OptionException(std::string("unknown option for --bv-eq-slicer: `") + |