1 files changed, 3 insertions, 3 deletions
diff --git a/src/util/bool.h b/src/util/bool.h
index a4d33ca61..9985395e3 100644
--- a/src/util/bool.h
+++ b/src/util/bool.h
@@ -29,11 +29,11 @@
 
 namespace CVC4 {
 
-struct BoolHashStrategy {
-  static inline size_t hash(bool b) {
+struct BoolHashFunction {
+  inline size_t operator()(bool b) const {
     return b;
   }
-};/* struct BoolHashStrategy */
+};/* struct BoolHashFunction */
 
 }/* CVC4 namespace */