diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-05-11 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-05-11 08:01:00 -0700 |
| commit | 582cf0b923e0a461c2efdb4ecde9bfdb0716a328 (patch) | |
| tree | 8a1480ebd6e719ea1a4a769a02538ab8ce4dc124 /src/sat | |
| parent | 0f03f34924b64814791347c5dcf0633dd244d341 (diff) | |
| download | abc-582cf0b923e0a461c2efdb4ecde9bfdb0716a328.tar.gz abc-582cf0b923e0a461c2efdb4ecde9bfdb0716a328.tar.bz2 abc-582cf0b923e0a461c2efdb4ecde9bfdb0716a328.zip | |
Version abc80511
Diffstat (limited to 'src/sat')
| -rw-r--r-- | src/sat/bsat/satUtil.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sat/bsat/satUtil.c b/src/sat/bsat/satUtil.c index 3961cf7e..ff8f9fd6 100644 --- a/src/sat/bsat/satUtil.c +++ b/src/sat/bsat/satUtil.c @@ -170,7 +170,7 @@ int * Sat_SolverGetModel( sat_solver * p, int * pVars, int nVars ) { int * pModel; int i; - pModel = ALLOC( int, nVars ); + pModel = ALLOC( int, nVars+1 ); for ( i = 0; i < nVars; i++ ) { assert( pVars[i] >= 0 && pVars[i] < p->size ); |