From 2167d6c148191f7aa65381bb0618b64050bf4de3 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 21 Jan 2007 08:01:00 -0800
Subject: Version abc70121

---
 src/opt/kit/kitIsop.c | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/opt/kit/kitIsop.c')

diff --git a/src/opt/kit/kitIsop.c b/src/opt/kit/kitIsop.c
index d54932ee..cc61a6bd 100644
--- a/src/opt/kit/kitIsop.c
+++ b/src/opt/kit/kitIsop.c
@@ -72,6 +72,7 @@ int Kit_TruthIsop( unsigned * puTruth, int nVars, Vec_Int_t * vMemory, int fTryB
     assert( Extra_TruthIsEqual( puTruth, pResult, nVars ) );
     if ( pcRes->nCubes == 0 || (pcRes->nCubes == 1 && pcRes->pCubes[0] == 0) )
     {
+        vMemory->pArray[0] = 0;
         Vec_IntShrink( vMemory, pcRes->nCubes );
         return 0;
     }
-- 
cgit v1.2.3