Fix Windows 64 build

Broken by previous patch.

No functional change.

Signed-off-by: Marco Costalba <mcostalba@gmail.com>

diff --git a/src/types.h b/src/types.h
index 90793806e7dba324ac51f34b682d16074be57dbf..5c9fed8877a4f8187e18d4d50738db7ac472dacb 100644 (file)
--- a/src/types.h
+++ b/src/types.h
@@ -65,6 +65,7 @@ typedef unsigned __int64 uint64_t;
 #endif
 
 #if defined(_WIN64)
 #endif
 
 #if defined(_WIN64)

+#  include <intrin.h> // MSVC popcnt and bsfq instrinsics

 #  define IS_64BIT
 #  define USE_BSFQ
 #endif
 #  define IS_64BIT
 #  define USE_BSFQ
 #endif