From 7e598cd23144ea2997a272384fb5d1788bd4b0fd Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 30 Jan 2013 16:15:53 +0700
Subject: Fixing compilation problems on Linux-32 related to constants of type
 unsigned long long.

---
 src/map/mio/exp.h | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

(limited to 'src/map/mio/exp.h')

diff --git a/src/map/mio/exp.h b/src/map/mio/exp.h
index a76f33cb..766ed38a 100644
--- a/src/map/mio/exp.h
+++ b/src/map/mio/exp.h
@@ -183,12 +183,12 @@ static inline word Exp_Truth6Lit( int nVars, int Lit, word * puFanins, word * pu
 static inline word Exp_Truth6( int nVars, Vec_Int_t * p, word * puFanins )
 {
     static word Truth6[6] = {
-        0xAAAAAAAAAAAAAAAA,
-        0xCCCCCCCCCCCCCCCC,
-        0xF0F0F0F0F0F0F0F0,
-        0xFF00FF00FF00FF00,
-        0xFFFF0000FFFF0000,
-        0xFFFFFFFF00000000
+        ABC_CONST(0xAAAAAAAAAAAAAAAA),
+        ABC_CONST(0xCCCCCCCCCCCCCCCC),
+        ABC_CONST(0xF0F0F0F0F0F0F0F0),
+        ABC_CONST(0xFF00FF00FF00FF00),
+        ABC_CONST(0xFFFF0000FFFF0000),
+        ABC_CONST(0xFFFFFFFF00000000)
     };
     word * puNodes, Res;
     int i;
-- 
cgit v1.2.3