From 5b8fa41ba966271f97f99860b21eee83bf51e61a Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 21 Jan 2022 11:33:53 -0800
Subject: Suggested bug fixes in the old code.

---
 src/base/abci/abcExact.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/base/abci/abcExact.c')

diff --git a/src/base/abci/abcExact.c b/src/base/abci/abcExact.c
index 42cf11c5..64225c61 100644
--- a/src/base/abci/abcExact.c
+++ b/src/base/abci/abcExact.c
@@ -1034,7 +1034,7 @@ static word * Ses_ManDeriveTruth( Ses_Man_t * pSes, char * pSol, int fInvert )
     for ( i = 0; i < nGates; ++i )
     {
         f = *p++;
-        assert( *p++ == 2 );
+        assert( *p == 2 ), p++;
         j = *p++;
         k = *p++;
 
-- 
cgit v1.2.3