From e61194bbed8c2ba8aac1f2720ebe513a571ee664 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 8 Jul 2023 10:18:18 -0700
Subject: [PATCH] Bug fix.

---
 src/proof/cec/cecSatG2.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/proof/cec/cecSatG2.c b/src/proof/cec/cecSatG2.c
index 462064399..773bc6e3c 100644
--- a/src/proof/cec/cecSatG2.c
+++ b/src/proof/cec/cecSatG2.c
@@ -1735,7 +1735,7 @@ void Gia_ManRemoveWrongChoices( Gia_Man_t * p )
     for ( iPrev = i, iObj = Gia_ObjNext(p, i); -1 < iObj; iObj = Gia_ObjNext(p, iPrev) )
     {
         Gia_Obj_t * pRepr = Gia_ObjReprObj(p, iObj);
-        assert( pRepr = Gia_ManConst0(p) );
+        assert( pRepr == Gia_ManConst0(p) );
         if( !Gia_ObjFailed(p,iObj) && Abc_Lit2Var(Gia_ManObj(p,iObj)->Value) == Abc_Lit2Var(pRepr->Value) )
         {
             iPrev = iObj;