diff --git a/src/util/hwf.cpp b/src/util/hwf.cpp
index bd8d4958d..f84f7fe40 100644
--- a/src/util/hwf.cpp
+++ b/src/util/hwf.cpp
@@ -52,6 +52,7 @@ Revision History:
 
 #ifdef USE_INTRINSICS
 #include <emmintrin.h>
+#include <smmintrin.h>
 #endif
 
 hwf_manager::hwf_manager() :
diff --git a/src/util/hwf.h b/src/util/hwf.h
index cf0c9b7ea..8816e5b37 100644
--- a/src/util/hwf.h
+++ b/src/util/hwf.h
@@ -88,9 +88,6 @@ public:
     bool is_pzero(hwf const & x);
 
     bool is_one(hwf const & x);
-    
-    // structural eq
-    bool eq_core(hwf const & x, hwf const & y);
 
     bool eq(hwf const & x, hwf const & y);
     bool lt(hwf const & x, hwf const & y);