From c9ad5880cc61787dec6d018111b63023407ce0e6 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 29 Oct 2008 08:01:00 -0700
Subject: Version abc81029

---
 src/aig/ssw/ssw.h | 2 --
 1 file changed, 2 deletions(-)

(limited to 'src/aig/ssw/ssw.h')

diff --git a/src/aig/ssw/ssw.h b/src/aig/ssw/ssw.h
index 4bb2356a..5d70812d 100644
--- a/src/aig/ssw/ssw.h
+++ b/src/aig/ssw/ssw.h
@@ -90,8 +90,6 @@ struct Ssw_Cex_t_
 ///                    FUNCTION DECLARATIONS                         ///
 ////////////////////////////////////////////////////////////////////////
 
-/*=== sswAbs.c ==========================================================*/
-extern Aig_Man_t *   Saig_ManProofAbstraction( Aig_Man_t * p, int nFrames, int nConfMax, int fVerbose );
 /*=== sswBmc.c ==========================================================*/
 extern int           Ssw_BmcDynamic( Aig_Man_t * pAig, int nFramesMax, int nConfLimit, int fVerbose, int * piFrame );
 /*=== sswCore.c ==========================================================*/
-- 
cgit v1.2.3