From ecf75a075b37ca78890b56c043a39fa71fd1f64f Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Thu, 25 Apr 2013 15:37:31 -0700 Subject: Compiler warnings. --- src/proof/ssc/sscUtil.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/proof/ssc') diff --git a/src/proof/ssc/sscUtil.c b/src/proof/ssc/sscUtil.c index 56939e40..efabe545 100644 --- a/src/proof/ssc/sscUtil.c +++ b/src/proof/ssc/sscUtil.c @@ -127,7 +127,7 @@ int Hsh_ManAdd( Hsh_Man_t * p, int iThis ) SeeAlso [] ***********************************************************************/ -Vec_Int_t * Hsh_ManHashData( int * pData, int nDatas, int nSize, int nInts ) +Vec_Int_t * Hsh_ManHashData( unsigned * pData, int nDatas, int nSize, int nInts ) { Vec_Int_t * vRes; Hsh_Man_t * p; -- cgit v1.2.3