Compiler warnings.

ecf75a07 · Alan Mishchenko · fb6c9e85 · ecf75a07
Commit ecf75a07 authored Apr 25, 2013 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 1 additions and 1 deletions

src/proof/ssc/sscUtil.c
+1 -1

No files found.
--- 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;