diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-01-07 08:57:08 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-01-07 08:57:08 +0700 |
| commit | 460167ec747aed778bfc13f2040dd8a205169fa2 (patch) | |
| tree | 22df62d47e07a2c034caa595e1a0c69e872c20f0 /src/base/abci | |
| parent | 5c9983d089c9cac4eb71bb5ce38838cd47b29d62 (diff) | |
| download | abc-460167ec747aed778bfc13f2040dd8a205169fa2.tar.gz abc-460167ec747aed778bfc13f2040dd8a205169fa2.tar.bz2 abc-460167ec747aed778bfc13f2040dd8a205169fa2.zip | |
Compiler warnings.
Diffstat (limited to 'src/base/abci')
| -rw-r--r-- | src/base/abci/abcExact.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/abci/abcExact.c b/src/base/abci/abcExact.c index 757034cd..adb64d79 100644 --- a/src/base/abci/abcExact.c +++ b/src/base/abci/abcExact.c @@ -873,7 +873,7 @@ static void Ses_StoreRead( Ses_Store_t * pStore, const char * pFilename, int fSy fclose( pFile ); - printf( "read %lu entries from file\n", nEntries ); + printf( "read %lu entries from file\n", (long)nEntries ); } // computes top decomposition of variables wrt. to AND and OR |