diff options
Diffstat (limited to 'src/sat/bmc/bmcCexMin1.c')
-rw-r--r-- | src/sat/bmc/bmcCexMin1.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/sat/bmc/bmcCexMin1.c b/src/sat/bmc/bmcCexMin1.c index 3b0a0274..23133ac0 100644 --- a/src/sat/bmc/bmcCexMin1.c +++ b/src/sat/bmc/bmcCexMin1.c @@ -18,7 +18,6 @@ ***********************************************************************/ -#include "aig/saig/saig.h" #include "aig/ioa/ioa.h" #include "bmc.h" |