From 7e8e03206c56e7cd9d0d9fbb447c785c400ff3ee Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 23 Jul 2006 08:01:00 -0700 Subject: Version abc60723 --- src/base/main/mainFrame.c | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/base/main') diff --git a/src/base/main/mainFrame.c b/src/base/main/mainFrame.c index 23e304b3..39aebc83 100644 --- a/src/base/main/mainFrame.c +++ b/src/base/main/mainFrame.c @@ -134,9 +134,11 @@ Abc_Frame_t * Abc_FrameAllocate() ***********************************************************************/ void Abc_FrameDeallocate( Abc_Frame_t * p ) { + extern void Rwt_ManGlobalStop(); extern void undefine_cube_size(); // Abc_HManStop(); undefine_cube_size(); + Rwt_ManGlobalStop(); if ( p->pManDec ) Dec_ManStop( p->pManDec ); if ( p->dd ) Extra_StopManager( p->dd ); Abc_FrameDeleteAllNetworks( p ); -- cgit v1.2.3