From cd39fd6b0585659922908d172b0d058a5cb02dbb Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 30 Jul 2012 11:05:54 -0700
Subject: Fixing performance bug with old proof-logging (adding clauses
 multiple times).

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

(limited to 'src/sat')

diff --git a/src/sat/bsat/satProof.c b/src/sat/bsat/satProof.c
index 5e2ce067..e70a60ef 100644
--- a/src/sat/bsat/satProof.c
+++ b/src/sat/bsat/satProof.c
@@ -921,6 +921,7 @@ void * Proof_DeriveCore( Vec_Set_t * vProof, int hRoot )
     // collect core clauses 
     vCore = Sat_ProofCollectCore( vProof, vUsed );
     Vec_IntFree( vUsed );
+    Vec_IntSort( vCore, 1 );
     return vCore;
 }
 
-- 
cgit v1.2.3