diff options
Diffstat (limited to 'tests/test_resolution.cc')
| -rw-r--r-- | tests/test_resolution.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tests/test_resolution.cc b/tests/test_resolution.cc index 767e865..931635d 100644 --- a/tests/test_resolution.cc +++ b/tests/test_resolution.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" @@ -27,6 +25,8 @@ #include "atp/infer/substitution.h" #include "atp/infer/unification.h" +#include <gtest/gtest.h> + namespace atp { namespace { |