From c31e593b09b85bdd4ace6aa9452ce55ec7959392 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 20 May 2013 14:25:27 -0700
Subject: Windows Visual Studio 2008 warnings.

---
 src/bool/rsb/rsbDec6.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/bool')

diff --git a/src/bool/rsb/rsbDec6.c b/src/bool/rsb/rsbDec6.c
index a0e066fc..df30eb1a 100644
--- a/src/bool/rsb/rsbDec6.c
+++ b/src/bool/rsb/rsbDec6.c
@@ -484,7 +484,7 @@ void Rsb_DecPrintFunc( Rsb_Man_t * p, unsigned Truth4, word * f, word ** ppGs, i
 
     printf( "Offset : " );
     Abc_TtPrintBinary( &Copy, nVars );  //printf( "\n" );
-    Copy >>= (1 << nVars);
+    Copy >>= ((word)1 << nVars);
     printf( "Onset  : " );
     Abc_TtPrintBinary( &Copy, nVars );  //printf( "\n" );
     printf( "Result : " );
-- 
cgit v1.2.3