From ffdc8a3676aad41d0fcef0290241aa9df2e5be1b Mon Sep 17 00:00:00 2001 From: Gereon Kremer Date: Mon, 1 Nov 2021 03:52:55 -0700 Subject: 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. --- src/main/options_template.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/main') 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 #include -- cgit v1.2.3