diff --git a/src/ast_internals.rs b/src/ast_internals.rs
index e5dd55d..b4853e6 100644
--- a/src/ast_internals.rs
+++ b/src/ast_internals.rs
@@ -1,4 +1,4 @@
-use crate::ast::{BodyLiteral, Function, Head, Location, Term, TheoryAtomElement, TheoryGuard};
+use crate::ast::{BodyLiteral, Head, Location, Term, TheoryAtomElement, TheoryGuard};
 use crate::{ClingoError, Symbol};
 use clingo_sys::*;
 use std::marker::PhantomData;