From 582cf0b923e0a461c2efdb4ecde9bfdb0716a328 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 11 May 2008 08:01:00 -0700
Subject: Version abc80511

---
 src/sat/bsat/satUtil.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/sat/bsat')

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 );
-- 
cgit v1.2.3