From 9e4213e202b516c6c920d7e0faaf603273d1795d Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 17 Aug 2007 08:01:00 -0700
Subject: Version abc70817

---
 src/aig/bdc/bdcInt.h | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src/aig/bdc')

diff --git a/src/aig/bdc/bdcInt.h b/src/aig/bdc/bdcInt.h
index 65ab9d27..9649f870 100644
--- a/src/aig/bdc/bdcInt.h
+++ b/src/aig/bdc/bdcInt.h
@@ -76,7 +76,6 @@ struct Bdc_Isf_t_
     unsigned *       puOff;        // off-set
 };
 
-typedef struct Bdc_Man_t_ Bdc_Man_t;
 struct Bdc_Man_t_
 {
     // external parameters
-- 
cgit v1.2.3