From 7e501b9b024d779ff71cfb348431f2263f93cf83 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 12 May 2023 18:39:47 -0700
Subject: [PATCH] Bug fix in equivalence class handling.

---
 src/aig/gia/giaMini.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/aig/gia/giaMini.c b/src/aig/gia/giaMini.c
index f0558cc4d..904bbe9ad 100644
--- a/src/aig/gia/giaMini.c
+++ b/src/aig/gia/giaMini.c
@@ -769,6 +769,8 @@ Vec_Int_t * Gia_ManMapEquivAfterScorr( Gia_Man_t * p, Vec_Int_t * vMap )
     {
         if ( iObjLit == -1 )
             continue;
+        if ( Gia_ObjHasRepr(p, Abc_Lit2Var(iObjLit)) && !Gia_ObjProved(p, Abc_Lit2Var(iObjLit)) )
+            continue;
         iReprGia = Gia_ObjReprSelf( p, Abc_Lit2Var(iObjLit) );
         iReprMini = Vec_IntEntry( vGia2Mini, iReprGia );
         if ( iReprMini == -1 )