diff options
Diffstat (limited to 'test/unit/util/boolean_simplification_black.h')
| -rw-r--r-- | test/unit/util/boolean_simplification_black.h | 15 |
1 files changed, 7 insertions, 8 deletions
diff --git a/test/unit/util/boolean_simplification_black.h b/test/unit/util/boolean_simplification_black.h index db02ce207..ac343ede8 100644 --- a/test/unit/util/boolean_simplification_black.h +++ b/test/unit/util/boolean_simplification_black.h @@ -14,15 +14,15 @@ ** Black box testing of CVC4::BooleanSimplification. **/ -#include "util/language.h" -#include "expr/node.h" -#include "expr/kind.h" -#include "expr/node_manager.h" -#include "util/boolean_simplification.h" - #include <algorithm> -#include <vector> #include <set> +#include <vector> + +#include "expr/kind.h" +#include "expr/node.h" +#include "expr/node_manager.h" +#include "options/language.h" +#include "smt_util/boolean_simplification.h" using namespace CVC4; using namespace std; @@ -214,4 +214,3 @@ public: } };/* class BooleanSimplificationBlack */ - |