diff options
Diffstat (limited to 'test/unit/util/subrange_bound_white.h')
| -rw-r--r-- | test/unit/util/subrange_bound_white.h | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/test/unit/util/subrange_bound_white.h b/test/unit/util/subrange_bound_white.h index 71947b297..3b785ae0d 100644 --- a/test/unit/util/subrange_bound_white.h +++ b/test/unit/util/subrange_bound_white.h @@ -14,11 +14,11 @@ ** White-box testing of CVC4::SubrangeBound. **/ -#include "util/subrange_bound.h" -#include "util/integer.h" - -#include <string> #include <sstream> +#include <string> + +#include "util/integer.h" +#include "util/subrange_bound.h" using namespace CVC4; using namespace std; @@ -72,4 +72,3 @@ public: } };/* class SubrangeBoundWhite */ - |