diff options
| author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-04-28 18:18:24 -0400 |
|---|---|---|
| committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-04-28 18:35:21 -0400 |
| commit | 64093dc2f6f7d8af3dea84f0a1a230297620d4d1 (patch) | |
| tree | c76922b46f17a5f9a5f944f1798c104c13c8f9e4 /src/util/didyoumean.h | |
| parent | 004678b6386e66cfa6a079215a3644efca59cdf7 (diff) | |
cleanup
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*/ |