1 files changed, 16 insertions, 0 deletions
diff --git a/src/aig/mem/mem.c b/src/aig/mem/mem.c
index 15199755..f5bfbfd8 100644
--- a/src/aig/mem/mem.c
+++ b/src/aig/mem/mem.c
@@ -278,6 +278,22 @@ int Mem_FixedReadMemUsage( Mem_Fixed_t * p )
     return p->nMemoryAlloc;
 }
 
+/**Function*************************************************************
+
+  Synopsis    []
+
+  Description []
+               
+  SideEffects []
+
+  SeeAlso     []
+
+***********************************************************************/
+int Mem_FixedReadMaxEntriesUsed( Mem_Fixed_t * p )
+{
+    return p->nEntriesMax;
+}
+
 
 
 /**Function*************************************************************