diff options
Diffstat (limited to 'src/options/options_handler.cpp')
-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 94bf15540..d24558a00 100644 --- a/src/options/options_handler.cpp +++ b/src/options/options_handler.cpp @@ -958,7 +958,7 @@ const std::string OptionsHandler::s_bitblastingModeHelp = "\ Bit-blasting modes currently supported by the --bitblast option:\n\ \n\ lazy (default)\n\ -+ Separate boolean structure and term reasoning betwen the core\n\ ++ Separate boolean structure and term reasoning between the core\n\ SAT solver and the bv SAT solver\n\ \n\ eager\n\ |