From 58622ed032570bc7437762ff55058281677f5ee1 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 5 Jan 2017 12:53:15 +0700
Subject: [PATCH] Adding two external APIs.

---
 src/aig/miniaig/abcapis.h | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/aig/miniaig/abcapis.h b/src/aig/miniaig/abcapis.h
index f412f5aef..eb8586fef 100644
--- a/src/aig/miniaig/abcapis.h
+++ b/src/aig/miniaig/abcapis.h
@@ -52,6 +52,8 @@ extern int    Cmd_CommandExecute( void * pAbc, char * pCommandLine );
 // procedures to input/output 'mini AIG'
 extern void   Abc_NtkInputMiniAig( void * pAbc, void * pMiniAig );
 extern void * Abc_NtkOutputMiniAig( void * pAbc );
+extern void   Abc_FrameGiaInputMiniAig( void * pAbc, void * p );
+extern void * Abc_FrameGiaOutputMiniAig( void * pAbc );
 extern void   Abc_NtkSetFlopNum( void * pAbc, int nFlops );
 
 // procedures to input/output 'mini LUT'