diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-08-01 11:48:21 +0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-08-01 11:48:21 +0700 |
commit | 33f71450d978e4b077537d5227d45cc140284887 (patch) | |
tree | d87b1f283cf2beac276f17f9b0fcb3de87e37004 /src/aig/saig/saigAbs.c | |
parent | 48f3db0b2dece88c09b169393604b1a8634d32d7 (diff) | |
download | abc-33f71450d978e4b077537d5227d45cc140284887.tar.gz abc-33f71450d978e4b077537d5227d45cc140284887.tar.bz2 abc-33f71450d978e4b077537d5227d45cc140284887.zip |
Bug fix in &abs_cba.
Diffstat (limited to 'src/aig/saig/saigAbs.c')
-rw-r--r-- | src/aig/saig/saigAbs.c | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/aig/saig/saigAbs.c b/src/aig/saig/saigAbs.c index cf7e6809..19dbe0fd 100644 --- a/src/aig/saig/saigAbs.c +++ b/src/aig/saig/saigAbs.c @@ -19,10 +19,6 @@ ***********************************************************************/ #include "saig.h" -#include "ssw.h" -#include "fra.h" -#include "bbr.h" -#include "pdr.h" ABC_NAMESPACE_IMPL_START |