From e149430065e70e25d32153a588c078cee53655f5 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Kim=20Nguy=E1=BA=BDn?= <kn@lri.fr>
Date: Tue, 23 Oct 2012 13:50:06 +0200
Subject: [PATCH] Forces 64 bit integers (using stdint.h and uint64_t) for bit
 field extractions.

---
 src/static_bitsequence/sdarray.cpp | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/static_bitsequence/sdarray.cpp b/src/static_bitsequence/sdarray.cpp
index 43dea90..30cdf9e 100644
--- a/src/static_bitsequence/sdarray.cpp
+++ b/src/static_bitsequence/sdarray.cpp
@@ -1,4 +1,5 @@
 #include <sdarray.h>
+#include <stdint.h>
 using std::min;
 using std::max;
 #if 0
@@ -131,10 +132,10 @@ uint __getbits_aux(uint *B, int i, int d) {
 
 static uint __getbits(uint *B, int i, int d)
 {
-  ulong x;
+  uint64_t x;
   B += (i >> logD);
   i &= (D-1);
-  x = ((ulong *) B)[0];
+  x = ((uint64_t *) B)[0];
   x = (x << 32)|(x >> 32);
   x = (x << i) >> (2*D - d);
   return x;
-- 
2.17.1