From adcc398bc38c91fa4cc8849aca9eb69c6fb61d21 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 26 Jun 2022 19:45:03 -0700
Subject: Dumping equivalences after SAT sweeping.

---
 src/proof/acec/acecXor.c | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/proof/acec/acecXor.c')

diff --git a/src/proof/acec/acecXor.c b/src/proof/acec/acecXor.c
index 963ea15b..49d0a58f 100644
--- a/src/proof/acec/acecXor.c
+++ b/src/proof/acec/acecXor.c
@@ -466,6 +466,7 @@ void Gia_ManTestXor( Gia_Man_t * p )
     }
     Vec_WrdFree( vSimsPi );
     Vec_WrdFree( vSims );
+    nWords = 0;
 }
 
 ////////////////////////////////////////////////////////////////////////
-- 
cgit v1.2.3