From f70af84aa6ad1511963e6cec97c6096fdcc1b37d Mon Sep 17 00:00:00 2001 From: Andrew Reynolds Date: Fri, 3 Nov 2017 19:16:06 -0500 Subject: [PATCH] Fix bv help message. (#1315) --- src/options/options_handler.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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: `") + -- 2.30.2