diff options
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: `") + |