diff options
| author | Fabian Wolff <fabi.wolff@arcor.de> | 2017-04-05 00:47:10 +0200 |
|---|---|---|
| committer | Fabian Wolff <fabi.wolff@arcor.de> | 2017-04-05 00:47:10 +0200 |
| commit | 3079060385f448ca97dcfc4679ca369806a75ed0 (patch) | |
| tree | ab41e54d4192537151f8afe28e22d31546e7f90f /src/options/options_handler.cpp | |
| parent | bf682b92e2bddcd490604f8a65c440b9c4c2f2f9 (diff) | |
Fix several spelling errors
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\ |