diff options
Diffstat (limited to 'src/sat/xsat/xsatFloat.h')
-rw-r--r-- | src/sat/xsat/xsatFloat.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/sat/xsat/xsatFloat.h b/src/sat/xsat/xsatFloat.h index 90149783..fb451a94 100644 --- a/src/sat/xsat/xsatFloat.h +++ b/src/sat/xsat/xsatFloat.h @@ -22,7 +22,6 @@ #define ABC__sat__xSAT__xsatFloat_h #include "misc/util/abc_global.h" -#include "misc/vec/vecInt.h" ABC_NAMESPACE_HEADER_START |