From cf427690a5df7decdfb6dd21d076e68415b82f46 Mon Sep 17 00:00:00 2001
From: Baruch Sterin <baruchs@gmail.com>
Date: Wed, 9 Aug 2017 12:01:07 -0700
Subject: add frame done callback support for command &bmcs

---
 src/base/abci/abc.c | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/base/abci/abc.c')

diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c
index 89a3b299..6d22c10f 100644
--- a/src/base/abci/abc.c
+++ b/src/base/abci/abc.c
@@ -40000,6 +40000,8 @@ int Abc_CommandAbc9SBmc( Abc_Frame_t * pAbc, int argc, char ** argv )
     pPars->iFrame        =    0;  // explored up to this frame
     pPars->nFailOuts     =    0;  // the number of failed outputs
     pPars->nDropOuts     =    0;  // the number of dropped outputs
+    pPars->pFuncOnFrameDone = pAbc->pFuncOnFrameDone; // frame done callback
+
     Extra_UtilGetoptReset();
     while ( ( c = Extra_UtilGetopt( argc, argv, "CFTvwh" ) ) != EOF )
     {
-- 
cgit v1.2.3