Compilation problem.

berkeley-abc · Nov 11, 2024 · b5a76d8 · b5a76d8
1 parent f2e4ceb
commit b5a76d8
Showing 1 changed file with 5 additions and 0 deletions.
diff --git 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>