diff options
Diffstat (limited to 'src/expr/kind_template.h')
-rw-r--r-- | src/expr/kind_template.h | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/expr/kind_template.h b/src/expr/kind_template.h index 2b675be0f..96c34a02a 100644 --- a/src/expr/kind_template.h +++ b/src/expr/kind_template.h @@ -13,10 +13,11 @@ ** Template for the Node kind header. **/ +#include "cvc4_public.h" + #ifndef __CVC4__KIND_H #define __CVC4__KIND_H -#include "cvc4_config.h" #include <iostream> #include <sstream> @@ -62,9 +63,9 @@ inline std::string kindToString(::CVC4::Kind k) { return ss.str(); } -struct KindHashFcn { +struct KindHashStrategy { static inline size_t hash(::CVC4::Kind k) { return k; } -}; +};/* struct KindHashStrategy */ }/* CVC4::kind namespace */ }/* CVC4 namespace */ |