diff --git a/src/bdd/extrab/extraLutCas.h b/src/bdd/extrab/extraLutCas.h
index 6723525d1..38a5dcd26 100644
--- a/src/bdd/extrab/extraLutCas.h
+++ b/src/bdd/extrab/extraLutCas.h
@@ -27,6 +27,11 @@
 #define inline __inline // compatible with MS VS 6.0
 #endif
 
+#ifdef _MSC_VER
+#  include <intrin.h>
+#  define __builtin_popcount __popcnt
+#endif
+
 #include <stdio.h>
 #include <stdlib.h>
 #include <string.h>