Updating LUT synthesis code.

93849685 · Alan Mishchenko · 0ce11851 · 93849685
Commit 93849685 authored May 16, 2021 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 1 deletions

src/aig/gia/giaMinLut.c
+2 -1

No files found.
--- a/src/aig/gia/giaMinLut.c
+++ b/src/aig/gia/giaMinLut.c
@@ -34,6 +34,8 @@ ABC_NAMESPACE_IMPL_START
 ///                        DECLARATIONS                              ///
 ////////////////////////////////////////////////////////////////////////

+extern Abc_Ntk_t * Abc_NtkFromAigPhase( Aig_Man_t * pMan );
+
 ////////////////////////////////////////////////////////////////////////
 ///                     FUNCTION DEFINITIONS                         ///
 ////////////////////////////////////////////////////////////////////////
@@ -430,7 +432,6 @@ Gia_Man_t * Gia_ManDoMuxMapping( Gia_Man_t * p )
 Gia_Man_t * Gia_ManDoMuxTransform( Gia_Man_t * p, int fReorder )
 {
    extern Gia_Man_t * Abc_NtkStrashToGia( Abc_Ntk_t * pNtk );
-    extern Abc_Ntk_t * Abc_NtkFromAigPhase( Aig_Man_t * pMan );
    extern int Abc_NtkBddToMuxesPerformGlo( Abc_Ntk_t * pNtk, Abc_Ntk_t * pNtkNew, int Limit, int fReorder, int fUseAdd );
    Gia_Man_t * pRes = NULL;
    Aig_Man_t * pMan = Gia_ManToAig( p, 0 );