From c82a418b26162fb92af2d33f399bf593af647ede Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 12 Apr 2011 23:59:16 -0700
Subject: [PATCH] Commented out one useless assertion in scorr.

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

diff --git a/src/aig/ssw/sswSim.c b/src/aig/ssw/sswSim.c
index e68f08cdb..83457d538 100644
--- a/src/aig/ssw/sswSim.c
+++ b/src/aig/ssw/sswSim.c
@@ -80,7 +80,7 @@ unsigned Ssw_SmlObjHashWord( Ssw_Sml_t * p, Aig_Obj_t * pObj )
     unsigned * pSims;
     unsigned uHash;
     int i;
-    assert( p->nWordsTotal <= 128 );
+//    assert( p->nWordsTotal <= 128 );
     uHash = 0;
     pSims = Ssw_ObjSim(p, pObj->Id);
     for ( i = p->nWordsPref; i < p->nWordsTotal; i++ )