From dd8cc7e9a27e2bd962d612911c6fd9508c6c1e0d Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 22 Feb 2017 13:03:53 -0800
Subject: Removing unused procedure.

---
 src/aig/gia/gia.h     |  1 -
 src/aig/gia/giaUtil.c | 19 -------------------
 2 files changed, 20 deletions(-)

(limited to 'src/aig/gia')

diff --git a/src/aig/gia/gia.h b/src/aig/gia/gia.h
index 10804850..5ad87008 100644
--- a/src/aig/gia/gia.h
+++ b/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;
diff --git a/src/aig/gia/giaUtil.c b/src/aig/gia/giaUtil.c
index d100b6c1..c7af642e 100644
--- a/src/aig/gia/giaUtil.c
+++ b/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                                ///
 ////////////////////////////////////////////////////////////////////////
-- 
cgit v1.2.3