diff options
Diffstat (limited to 'src/sat/msat/msatInt.h')
-rw-r--r-- | src/sat/msat/msatInt.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/sat/msat/msatInt.h b/src/sat/msat/msatInt.h index 58baa7b4..a1d9e14d 100644 --- a/src/sat/msat/msatInt.h +++ b/src/sat/msat/msatInt.h @@ -30,7 +30,6 @@ #include <stdlib.h> #include <string.h> #include <assert.h> -#include <time.h> #include <math.h> #include "src/misc/util/abc_global.h" |