diff options
Diffstat (limited to 'tests/test_term_bank.cc')
| -rw-r--r-- | tests/test_term_bank.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tests/test_term_bank.cc b/tests/test_term_bank.cc index 63acc34..3ea15ac 100644 --- a/tests/test_term_bank.cc +++ b/tests/test_term_bank.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/clause_store.h" #include "atp/core/literal.h" @@ -26,6 +24,8 @@ #include "atp/core/term_bank.h" #include "atp/core/types.h" +#include <gtest/gtest.h> + namespace atp { namespace { |