Skip to content

Commit

Permalink
Remove lifetime annotation
Browse files Browse the repository at this point in the history
  • Loading branch information
sthiele committed Oct 5, 2023
1 parent f9d2541 commit 64010f7
Showing 1 changed file with 2 additions and 4 deletions.
6 changes: 2 additions & 4 deletions src/ast.rs
Original file line number Diff line number Diff line change
Expand Up @@ -1476,7 +1476,6 @@ where
{
let term: Term = term.into();
let mut ast = std::ptr::null_mut();
// let operator_name = internalize_string(operator_name)?;
if !unsafe {
clingo_ast_build(
clingo_ast_type_e_clingo_ast_type_guard as i32,
Expand All @@ -1503,10 +1502,9 @@ where
}

/// Construct an AST node of type `ASTType.Comparison`.
pub fn comparison<'a, T1, T2>(term: T1, guards: &'a [T2]) -> Result<Comparison<'a>, ClingoError>
pub fn comparison<'a, T1>(term: T1, guards: &'a [Guard]) -> Result<Comparison<'a>, ClingoError>
where
T1: Into<Term<'a>>,
T2: Into<Guard<'a>>,
{
let term: Term = term.into();
let mut ast = std::ptr::null_mut();
Expand Down Expand Up @@ -1578,7 +1576,7 @@ where
/// Construct an AST node of type `ASTType.Aggregate`.
pub fn aggregate<'a>(
location: &Location,
left_guard: Option<Guard<'a>>,
left_guard: Option<Guard>,
elements: &'a [ConditionalLiteral],
right_guard: Option<Guard>,
) -> Result<Aggregate<'a>, ClingoError> {
Expand Down

0 comments on commit 64010f7

Please sign in to comment.