From 806a996b88f57d7d307d3e3e528513b66d101f8c Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 30 May 2024 08:43:58 +0200
Subject: [PATCH] Updating the print-out after the bug fix.

---
 src/map/mapper/mapperCutUtils.c | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/map/mapper/mapperCutUtils.c b/src/map/mapper/mapperCutUtils.c
index a909ebf8c..18e5a009a 100644
--- a/src/map/mapper/mapperCutUtils.c
+++ b/src/map/mapper/mapperCutUtils.c
@@ -255,7 +255,9 @@ Vec_Ptr_t * Map_CutInternalNodes( Map_Node_t * pObj, Map_Cut_t * pCut )
     printf( "\n" );
     printf( "Nodes:\n" );
     Vec_PtrForEachEntry( Map_Node_t *, vAnds, pTemp, i )
-      printf( "%d=(%d,%d)\n", pTemp->Num, pTemp->p1->Num, pTemp->p2->Num );
+      printf( "%d = %s%d & %s%d\n", pTemp->Num, 
+                                    Map_IsComplement(pTemp->p1) ? "~" : " ", Map_Regular(pTemp->p1)->Num, 
+                                    Map_IsComplement(pTemp->p2) ? "~" : " ", Map_Regular(pTemp->p2)->Num );
     printf( "\n" );
   }
   return vAnds;