2 files changed, 2 insertions, 0 deletions
diff --git a/src/aig/aig/aig.h b/src/aig/aig/aig.h
index 385d93b2..1f138771 100644
--- a/src/aig/aig/aig.h
+++ b/src/aig/aig/aig.h
@@ -148,6 +148,7 @@ struct Aig_Man_t_
     void *           pManTime;       // the timing manager
     void *           pManCuts;
     int *            pFastSim; 
+    unsigned *       pTerSimData;    // ternary simulation data
     Vec_Ptr_t *      vMapped;
     Vec_Int_t *      vFlopNums;      
     Vec_Int_t *      vFlopReprs;      
diff --git a/src/aig/aig/aigMan.c b/src/aig/aig/aigMan.c
index 40fe871b..bce56424 100644
--- a/src/aig/aig/aigMan.c
+++ b/src/aig/aig/aigMan.c
@@ -213,6 +213,7 @@ void Aig_ManStop( Aig_Man_t * p )
     Vec_PtrFreeP( &p->vMapped );
     if ( p->pSeqModelVec )
         Vec_PtrFreeFree( p->pSeqModelVec );
+    ABC_FREE( p->pTerSimData );
     ABC_FREE( p->pFastSim );
     ABC_FREE( p->pData );
     ABC_FREE( p->pSeqModel );