From a5e93ff0754c560e06ff27697b001349edef8ce1 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 8 Sep 2014 09:33:11 -0700
Subject: Corner-case bug fix in balancing.

---
 src/opt/dar/darBalance.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/opt/dar/darBalance.c b/src/opt/dar/darBalance.c
index 4c77ab56..f51a7852 100644
--- a/src/opt/dar/darBalance.c
+++ b/src/opt/dar/darBalance.c
@@ -81,6 +81,8 @@ void Dar_BalanceUniqify( Aig_Obj_t * pObj, Vec_Ptr_t * vNodes, int fExor )
             i++;
     }
     Vec_PtrShrink( vNodes, k );
+    if ( Vec_PtrSize(vNodes) < 2 )
+        return;
     // check that there is no duplicates
     pTemp = (Aig_Obj_t *)Vec_PtrEntry( vNodes, 0 );
     Vec_PtrForEachEntryStart( Aig_Obj_t *, vNodes, pTempNext, i, 1 )
-- 
cgit v1.2.3