From 41c01e4fb7f4b69b4b2d6cfeb723850e311b9b03 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 17 Mar 2023 09:59:57 +0700
Subject: [PATCH] Compiler warning.

---
 src/aig/miniaig/miniaig.h | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/aig/miniaig/miniaig.h b/src/aig/miniaig/miniaig.h
index b3a8b020c..c7ce14e96 100644
--- a/src/aig/miniaig/miniaig.h
+++ b/src/aig/miniaig/miniaig.h
@@ -392,7 +392,7 @@ static Mini_Aig_t * Mini_AigTransformXor( Mini_Aig_t * p )
         int iLit1 = Mini_AigNodeFanin1(p, i);
         iLit0 = Mini_AigLitNotCond( pCopy[Mini_AigLit2Var(iLit0)], Mini_AigLitIsCompl(iLit0) );
         iLit1 = Mini_AigLitNotCond( pCopy[Mini_AigLit2Var(iLit1)], Mini_AigLitIsCompl(iLit1) );
-        if ( iLit0 < iLit1 )
+        if ( iLit0 <= iLit1 )
             pCopy[i] = Mini_AigAnd( pNew, iLit0, iLit1 );
         else
             pCopy[i] = Mini_AigXor( pNew, iLit0, iLit1 );
@@ -564,15 +564,15 @@ static void Mini_AigDumpVerilog( char * pFileName, char * pModuleName, Mini_Aig_
 // procedure to dump MiniAIG into a BLIF file
 static void Mini_AigDumpBlif( char * pFileName, char * pModuleName, Mini_Aig_t * p, int fVerbose )
 {
-    int i, k, iFaninLit0, iFaninLit1, Length = strlen(pModuleName), nPis = Mini_AigPiNum(p), nPos = Mini_AigPoNum(p);
+    int i, k, iFaninLit0, iFaninLit1;
     char * pObjIsPi = MINI_AIG_FALLOC( char, Mini_AigNodeNum(p) );
     FILE * pFile = fopen( pFileName, "wb" );
-    assert( nPis <= 26 );
+    assert( Mini_AigPiNum(p) <= 26 );
     if ( pFile == NULL ) { printf( "Cannot open output file %s\n", pFileName ); MINI_AIG_FREE( pObjIsPi ); return; }
     // write interface
     //fprintf( pFile, "// This MiniAIG dump was produced by ABC on %s\n\n", Extra_TimeStamp() );
     fprintf( pFile, ".model %s\n", pModuleName );
-    if ( nPis > 0 )
+    if ( Mini_AigPiNum(p) )
     {
         k = 0;
         fprintf( pFile, ".inputs" );