Removing unused procedure.

src/aig/gia/gia.h

@@ -1588,7 +1588,6 @@ extern void                Gia_ManSwapPos( Gia_Man_t * p, int i );
 extern Vec_Int_t *         Gia_ManSaveValue( Gia_Man_t * p );
 extern void                Gia_ManLoadValue( Gia_Man_t * p, Vec_Int_t * vValues );
 extern Vec_Int_t *         Gia_ManFirstFanouts( Gia_Man_t * p );
-extern void                Gia_ManDetectMuxes( Gia_Man_t * p );
 
 /*=== giaCTas.c ===========================================================*/
 typedef struct Tas_Man_t_  Tas_Man_t;

src/aig/gia/giaUtil.c

@@ -2050,25 +2050,6 @@ void Gia_AigerWriteLut( Gia_Man_t * p, char * pFileName )
     Vec_WrdFree( vTruths );
 }
 
-/**Function*************************************************************
-
-  Synopsis    []
-
-  Description []
-               
-  SideEffects []
-
-  SeeAlso     []
-
-***********************************************************************/
-void Gia_ManDetectMuxes( Gia_Man_t * p )
-{
-    Gia_Obj_t * pObj = NULL, * pNodeT, * pNodeE; int i;
-    Gia_ManForEachObj( p, pObj, i );
-        if ( Gia_ObjIsAnd(pObj) && Gia_ObjRecognizeMux(pObj, &pNodeT, &pNodeE) )
-            pObj->fMark0 = 1;
-}
-
 ////////////////////////////////////////////////////////////////////////
 ///                       END OF FILE                                ///
 ////////////////////////////////////////////////////////////////////////