diff options
Diffstat (limited to 'src/sat/bsat/satTrace.c')
| -rw-r--r-- | src/sat/bsat/satTrace.c | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/sat/bsat/satTrace.c b/src/sat/bsat/satTrace.c index 111e8dfb..08cfadf6 100644 --- a/src/sat/bsat/satTrace.c +++ b/src/sat/bsat/satTrace.c @@ -18,8 +18,6 @@ ***********************************************************************/ -#include <stdio.h> -#include <assert.h> #include "satSolver.h" /* |