diff --git a/src/base/main/main.h b/src/base/main/main.h
index f3e03b475..415934982 100644
--- a/src/base/main/main.h
+++ b/src/base/main/main.h
@@ -33,6 +33,7 @@
 
 // core packages
 #include "abc.h"
+#include "gia.h"
 
 ABC_NAMESPACE_HEADER_START
 // the framework containing all data
@@ -74,6 +75,7 @@ extern ABC_DLL void            Abc_Stop();
 
 /*=== mainFrame.c ===========================================================*/
 extern ABC_DLL Abc_Ntk_t *     Abc_FrameReadNtk( Abc_Frame_t * p );
+extern ABC_DLL Gia_Man_t *     Abc_FrameReadGia( Abc_Frame_t * p );
 extern ABC_DLL FILE *          Abc_FrameReadOut( Abc_Frame_t * p );
 extern ABC_DLL FILE *          Abc_FrameReadErr( Abc_Frame_t * p );
 extern ABC_DLL int             Abc_FrameReadMode( Abc_Frame_t * p );
diff --git a/src/base/main/mainFrame.c b/src/base/main/mainFrame.c
index 6a2fe5b33..a600ae3b1 100644
--- a/src/base/main/mainFrame.c
+++ b/src/base/main/mainFrame.c
@@ -248,6 +248,22 @@ Abc_Ntk_t * Abc_FrameReadNtk( Abc_Frame_t * p )
     return p->pNtkCur;
 }
 
+/**Function*************************************************************
+
+  Synopsis    []
+
+  Description []
+               
+  SideEffects []
+
+  SeeAlso     []
+
+***********************************************************************/
+Gia_Man_t * Abc_FrameReadGia( Abc_Frame_t * p )
+{
+    return p->pGia;
+}
+
 /**Function*************************************************************
 
   Synopsis    []