diff options
-rw-r--r-- | test/system/statistics.cpp | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/test/system/statistics.cpp b/test/system/statistics.cpp index 62223bae8..234246112 100644 --- a/test/system/statistics.cpp +++ b/test/system/statistics.cpp @@ -15,13 +15,11 @@ ** minimally functional. **/ - #include "util/statistics.h" #include <iostream> #include <sstream> -#include "expr/node.h" #include "api/cvc4cpp.h" #include "expr/expr.h" #include "smt/smt_engine.h" |