remove ast::Function from import

potassco · Oct 20, 2023 · 02e572b · 02e572b
1 parent cf9f89b
commit 02e572b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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;