Fixing some update gcc.

a318e7ea · Alan Mishchenko · ee1bd8f0 · a318e7ea
Commit a318e7ea authored Jul 25, 2019 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 1 additions and 1 deletions

src/base/abci/abcExact.c
+1 -1

No files found.
--- a/src/base/abci/abcExact.c
+++ b/src/base/abci/abcExact.c
@@ -388,7 +388,7 @@ static inline Ses_Store_t * Ses_StoreAlloc( int nBTLimit, int fMakeAIG, int fVer
    pStore->fMakeAIG           = fMakeAIG;
    pStore->fVerbose           = fVerbose;
    pStore->nBTLimit           = nBTLimit;
-    memset( pStore->pEntries, 0, sizeof(char)*SES_STORE_TABLE_SIZE );
+    memset( pStore->pEntries, 0, sizeof(pStore->pEntries) );

    pStore->pSat = sat_solver_new();