From b5a76d8ba321d4fb5d2f4a7ad145b2b020f4f2e9 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 10 Nov 2024 19:30:24 -0800
Subject: [PATCH] Compilation problem.

---
 src/bdd/extrab/extraLutCas.h | 5 +++++
 1 file changed, 5 insertions(+)

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>