diff options
Diffstat (limited to 'tests/test_simplify.cc')
| -rw-r--r-- | tests/test_simplify.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tests/test_simplify.cc b/tests/test_simplify.cc index 07875de..98b0db9 100644 --- a/tests/test_simplify.cc +++ b/tests/test_simplify.cc @@ -16,8 +16,6 @@ * along with this program. If not, see <https://www.gnu.org/licenses/>. */ -#include <gtest/gtest.h> - #include "atp/core/clause.h" #include "atp/core/literal.h" #include "atp/core/symbol_table.h" @@ -26,6 +24,8 @@ #include "atp/simplify/subsumption.h" #include "atp/simplify/tautology.h" +#include <gtest/gtest.h> + namespace atp { namespace { |