diff options
Diffstat (limited to 'src/util/hash.h')
-rw-r--r-- | src/util/hash.h | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/src/util/hash.h b/src/util/hash.h index 6fb20dab0..2420b7acd 100644 --- a/src/util/hash.h +++ b/src/util/hash.h @@ -54,12 +54,6 @@ struct StringHashFunction { } };/* struct StringHashFunction */ -struct StringHashStrategy { - static size_t hash(const std::string& str) { - return std::hash<const char*>()(str.c_str()); - } -};/* struct StringHashStrategy */ - }/* CVC4 namespace */ #endif /* __CVC4__HASH_H */ |