3 files changed, 3 insertions, 3 deletions
diff --git a/src/base/main/main.c b/src/base/main/main.c
index 4c572a07..a9f27bf8 100644
--- a/src/base/main/main.c
+++ b/src/base/main/main.c
@@ -217,7 +217,7 @@ int main( int argc, char * argv[] )
                 break;
         }
     }
-     
+      
     // if the memory should be freed, quit packages
     if ( fStatus < 0 ) 
     {
diff --git a/src/base/main/main.h b/src/base/main/main.h
index 4280808d..c5f311aa 100644
--- a/src/base/main/main.h
+++ b/src/base/main/main.h
@@ -78,7 +78,7 @@ extern void            Abc_Start();
 extern void            Abc_Stop();
 
 /*=== mainFrame.c ===========================================================*/
-extern Abc_Ntk_t *     Abc_FrameReadNet( Abc_Frame_t * p );
+extern Abc_Ntk_t *     Abc_FrameReadNtk( Abc_Frame_t * p );
 extern FILE *          Abc_FrameReadOut( Abc_Frame_t * p );
 extern FILE *          Abc_FrameReadErr( Abc_Frame_t * p );
 extern bool            Abc_FrameReadMode( Abc_Frame_t * p );
diff --git a/src/base/main/mainFrame.c b/src/base/main/mainFrame.c
index f75df49e..e9e243af 100644
--- a/src/base/main/mainFrame.c
+++ b/src/base/main/mainFrame.c
@@ -164,7 +164,7 @@ void Abc_FrameRestart( Abc_Frame_t * p )
   SeeAlso     []
 
 ***********************************************************************/
-Abc_Ntk_t * Abc_FrameReadNet( Abc_Frame_t * p )
+Abc_Ntk_t * Abc_FrameReadNtk( Abc_Frame_t * p )
 {
     return p->pNtkCur;
 }