diff options
Diffstat (limited to 'src/util/didyoumean.h')
-rw-r--r-- | src/util/didyoumean.h | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/util/didyoumean.h b/src/util/didyoumean.h index 2907fcece..18a1101cf 100644 --- a/src/util/didyoumean.h +++ b/src/util/didyoumean.h @@ -14,7 +14,7 @@ ** ``What do you mean? I don't understand.'' An attempt to be more ** helpful than that. Similar to one in git. ** - ** There are no dependencies on CVC4, intentionally. + ** There are no dependencies on CVC4 (except namespace). **/ #pragma once @@ -23,6 +23,8 @@ #include <set> #include <string> +namespace CVC4 { + class DidYouMean { typedef std::set<std::string> Words; Words d_words; @@ -47,3 +49,5 @@ public: private: int editDistance(const std::string& a, const std::string& b); }; + +}/*CVC4 namespace*/ |