From 08bb2e70b768efb7a5d7d8d1d1f6492cd13b23ca Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 13 Jul 2012 18:51:24 -0700
Subject: Debugging a proof error.

---
 src/sat/bsat/satProof.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/sat/bsat/satProof.c b/src/sat/bsat/satProof.c
index d54f94b4..7613e022 100644
--- a/src/sat/bsat/satProof.c
+++ b/src/sat/bsat/satProof.c
@@ -397,6 +397,8 @@ int Sat_ProofReduce( Vec_Set_t * vProof, void * pRoots, int hProofPivot )
     static clock_t TimeTotal = 0;
     int RetValue;
 
+Sat_ProofCheck0( vProof );
+
     // collect visited nodes
     nSize = Proof_MarkUsedRec( vProof, vRoots );
     vUsed = Vec_PtrAlloc( nSize );
-- 
cgit v1.2.3