From a735d95a5bfa8ab21ddbe5a2a66695327d3b7206 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 7 May 2013 18:11:29 -0700
Subject: SAT sweeping under constraints (bug fix).

---
 src/aig/gia/giaSweep.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/aig/gia/giaSweep.c')

diff --git a/src/aig/gia/giaSweep.c b/src/aig/gia/giaSweep.c
index 994aedc1..4517bb7b 100644
--- a/src/aig/gia/giaSweep.c
+++ b/src/aig/gia/giaSweep.c
@@ -288,7 +288,7 @@ Gia_Man_t * Gia_ManFraigSweep( Gia_Man_t * p, void * pPars )
     if ( p->pManTime == NULL )
     {
         Gia_ManFraigSweepPerform( p, pPars );
-        pNew = Gia_ManEquivReduce( p, 1, 0, 0 );
+        pNew = Gia_ManEquivReduce( p, 1, 0, 0, 0 );
         if ( pNew == NULL )
             return Gia_ManDup(p);
         return pNew;
-- 
cgit v1.2.3