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/bool/kit/kitPla.c | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

(limited to 'src/bool/kit/kitPla.c')

diff --git a/src/bool/kit/kitPla.c b/src/bool/kit/kitPla.c
index bec2d5f3..9ae2b2c0 100644
--- a/src/bool/kit/kitPla.c
+++ b/src/bool/kit/kitPla.c
@@ -442,14 +442,14 @@ char * Kit_PlaFromTruthNew( unsigned * pTruth, int nVars, Vec_Int_t * vCover, Ve
 ABC_UINT64_T Kit_PlaToTruth6( char * pSop, int nVars )
 {
     static ABC_UINT64_T Truth[8] = {
-        0xAAAAAAAAAAAAAAAA,
-        0xCCCCCCCCCCCCCCCC,
-        0xF0F0F0F0F0F0F0F0,
-        0xFF00FF00FF00FF00,
-        0xFFFF0000FFFF0000,
-        0xFFFFFFFF00000000,
-        0x0000000000000000,
-        0xFFFFFFFFFFFFFFFF
+        ABC_CONST(0xAAAAAAAAAAAAAAAA),
+        ABC_CONST(0xCCCCCCCCCCCCCCCC),
+        ABC_CONST(0xF0F0F0F0F0F0F0F0),
+        ABC_CONST(0xFF00FF00FF00FF00),
+        ABC_CONST(0xFFFF0000FFFF0000),
+        ABC_CONST(0xFFFFFFFF00000000),
+        ABC_CONST(0x0000000000000000),
+        ABC_CONST(0xFFFFFFFFFFFFFFFF)
     };
     ABC_UINT64_T valueAnd, valueOr = Truth[6];
     int v, lit = 0;
-- 
cgit v1.2.3