From bd7fb363c29ac50ccd1f17c60978203edfedecb7 Mon Sep 17 00:00:00 2001
From: Eddie Hung <eddie@fpgeh.com>
Date: Thu, 7 May 2020 12:10:07 -0700
Subject: [PATCH] &ps -l to print muxF on Linux as well as Windows

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

diff --git a/src/aig/gia/giaIf.c b/src/aig/gia/giaIf.c
index 7591f2d66..692d1e1bf 100644
--- a/src/aig/gia/giaIf.c
+++ b/src/aig/gia/giaIf.c
@@ -516,6 +516,8 @@ void Gia_ManPrintMappingStats( Gia_Man_t * p, char * pDumpFile )
 #else
     Abc_Print( 1, "Mapping (K=%d)  :  ", nLutSize );
     Abc_Print( 1, "%slut =%7d%s  ",  "\033[1;33m", nLuts,    "\033[0m" );  // yellow
+    if ( nMuxF )
+        Abc_Print( 1, "%smuxF =%7d%s  ",  "\033[1;33m", nMuxF,    "\033[0m" );  // yellow
     Abc_Print( 1, "%sedge =%8d%s  ", "\033[1;32m", nFanins,  "\033[0m" );  // green
     Abc_Print( 1, "%slev =%5d%s ",   "\033[1;31m", LevelMax, "\033[0m" );  // red
     Abc_Print( 1, "%s(%.2f)%s  ",    "\033[1;31m", (float)Ave / Gia_ManCoNum(p), "\033[0m" );