From 28db025b8393e307328d51ff6901c4ebab669e95 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sat, 27 Aug 2005 08:01:00 -0700 Subject: Version abc50827 --- src/opt/cut/cut.h | 1 + 1 file changed, 1 insertion(+) (limited to 'src/opt/cut/cut.h') diff --git a/src/opt/cut/cut.h b/src/opt/cut/cut.h index 0b4c4535..f3a0f743 100644 --- a/src/opt/cut/cut.h +++ b/src/opt/cut/cut.h @@ -99,6 +99,7 @@ extern void Cut_NodeWriteCuts( Cut_Man_t * p, int Node, Cut_Cut_t * extern void Cut_NodeFreeCuts( Cut_Man_t * p, int Node ); extern void Cut_NodeSetComputedAsNew( Cut_Man_t * p, int Node ); extern void Cut_NodeTryDroppingCuts( Cut_Man_t * p, int Node ); +extern void Cut_CutPrint( Cut_Cut_t * pCut ); //////////////////////////////////////////////////////////////////////// /// END OF FILE /// -- cgit v1.2.3