diff options
| author | Gereon Kremer <nafur42@gmail.com> | 2021-11-01 03:52:55 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-11-01 10:52:55 +0000 |
| commit | ffdc8a3676aad41d0fcef0290241aa9df2e5be1b (patch) | |
| tree | 8816ea1d63eabedd1722e78915038bef97755232 /src/main | |
| parent | 47ddb344f317496928dddd4b017867b8c07dbded (diff) | |
Refactor DidYouMean (#7535)
This refactors the `DidYouMean` class, which is used to make helpful suggestions for misspelled tags and options. It uses `std::vector` instead of `std::set`, moves it from `options` to `util` (so that we can keep using it in both libcvc5 and the driver) and generally modernizes the code a bit. Also, it replaces the stand-alone and never executed test by a regular unit test.
Diffstat (limited to 'src/main')
| -rw-r--r-- | src/main/options_template.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main/options_template.cpp b/src/main/options_template.cpp index 138821c71..e0429c5f9 100644 --- a/src/main/options_template.cpp +++ b/src/main/options_template.cpp @@ -37,8 +37,8 @@ extern int optreset; #include "base/check.h" #include "base/output.h" -#include "options/didyoumean.h" #include "options/option_exception.h" +#include "util/didyoumean.h" #include <cstring> #include <iostream> |